Add rough draft of makefile to experiment with
This commit is contained in:
parent
9059c3c2f1
commit
849b91157f
6
src/build-deps.sh
Normal file
6
src/build-deps.sh
Normal file
@ -0,0 +1,6 @@
|
||||
#!/bin/sh
|
||||
vendors/opam-repository-tools/rewrite-local-opam-repository.sh
|
||||
opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/"
|
||||
opam install ocp-indent merlin alcotest-lwt crowbar
|
||||
opam user-setup install
|
||||
opam install -y --build-test --deps-only ./src/
|
3
src/build.sh
Normal file
3
src/build.sh
Normal file
@ -0,0 +1,3 @@
|
||||
#! /bin/sh
|
||||
|
||||
dune build -p ligo
|
6
src/install.sh
Normal file
6
src/install.sh
Normal file
@ -0,0 +1,6 @@
|
||||
add-apt-repository ppa:avsm/ppa
|
||||
apt update
|
||||
apt-get install opam mercurial darcs make m4 gcc libev-dev libgmp-dev pkg-config libhidapi-dev
|
||||
opam init --bare
|
||||
y
|
||||
y
|
11
src/makefile
Normal file
11
src/makefile
Normal file
@ -0,0 +1,11 @@
|
||||
install:
|
||||
./install.sh
|
||||
|
||||
build-deps:
|
||||
./build-deps.sh
|
||||
|
||||
build: build-deps
|
||||
./build.sh
|
||||
|
||||
test: build
|
||||
dune build @ligo-test
|
Loading…
Reference in New Issue
Block a user