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

Fixed README

Browse Source
This commit is contained in:
Georges Dupéron 2019-04-02 16:44:19 +02:00
parent 3a1ec72ed1
commit ee190174fe
1 changed files with 14 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/ligo/README_INSTALL
View File

@ -1,18 +1,20 @@
sudo apt install libev-dev libhidapi-dev switch=titi
cd src/ligo
sudo apt -y install libev-dev libhidapi-dev
opam init opam init
opam switch create toto ocaml-base-compiler.4.06.1 eval $(opam env)
opam switch create $switch ocaml-base-compiler.4.06.1
eval $(opam env --switch=$switch --set-switch)
opam repository add new-tezos https://gitlab.com/gabriel.alfour/new-tezos-opam-repository.git opam repository add new-tezos https://gitlab.com/gabriel.alfour/new-tezos-opam-repository.git
# si une build a déjà été tentée, il vaut mieux git add tout ce qui est utile et git clean -dfx pour supprimer tout le reste (dune 1.7 crée des fichiers non compatibles avec dune 1.6) # si une build a déjà été tentée, il vaut mieux git add tout ce qui est utile et git clean -dfx pour supprimer tout le reste (dune 1.7 crée des fichiers non compatibles avec dune 1.6)
opam install ocplib-endian opam install -y ocplib-endian
rm src/ligo/ligo-parser/AST2.ml src/ligo/ligo-parser/Typecheck2.ml src/ligo/ligo-parser/Typecheck2.mli (cd ligo-parser && opam install -y .)
git checkout ligo-parser/ligo_parser.ml eval $(opam env)
sed -i -e '4,5d; s/ |>.*//' ligo-parser/ligo_parser.ml (cd ligo-helpers && opam install -y .)
eval $(opam env)
cd src/ligo/ligo-parser && opam install . (opam install -y .)
cd src/ligo/ligo-helpers && opam install . eval $(opam env)
cd src/ligo && opam install . opam install merlin ocp-indent
opam install merlin
opam user-setup install opam user-setup install