balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Tweak make scripts based on observations in virtual machine

Browse Source
This commit is contained in:
John David Pressman 2019-05-31 21:09:08 -07:00
parent 849b91157f
commit 533913fd36
2 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/build-deps.sh
View File

@ -1,6 +1,8 @@
#!/bin/sh #!/bin/sh
opam switch create .. ocaml-base-compiler.4.06.1
eval $(opam env)
vendors/opam-repository-tools/rewrite-local-opam-repository.sh vendors/opam-repository-tools/rewrite-local-opam-repository.sh
opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/" opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/"
opam install ocp-indent merlin alcotest-lwt crowbar opam install -y ocp-indent merlin alcotest-lwt crowbar
opam user-setup install opam user-setup install
opam install -y --build-test --deps-only ./src/ opam install -y --build-test --deps-only ./src/

12
src/install.sh
View File

@ -1,6 +1,6 @@
add-apt-repository ppa:avsm/ppa #! /bin/sh
apt update sudo add-apt-repository -y ppa:avsm/ppa
apt-get install opam mercurial darcs make m4 gcc libev-dev libgmp-dev pkg-config libhidapi-dev sudo apt-get update
opam init --bare sudo apt-get install -y opam mercurial darcs make m4 gcc libev-dev libgmp-dev pkg-config libhidapi-dev
y opam init --bare -a
y