Commit a6fe3bd6 authored by Benoit Viguier's avatar Benoit Viguier
Browse files

update readme and Makefile

parent 57ca5b38
......@@ -136,7 +136,7 @@ _CoqProject: Makefile
$(SHOW)Generate _CoqProject
$(HIDE)echo $(COQFLAGS) >_CoqProject
.loadpath: Makefile _CoqProject
.loadpath: _CoqProject
$(SHOW)Generate .loadpath
$(HIDE)echo $(COQFLAGS) > .loadpath
......
......@@ -19,8 +19,8 @@
opam install coqide.8.6
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
opam install coq-mathcomp-ssreflect.1.6.1
opam install coq-mathcomp-multinomials
# opam install coq-mathcomp-ssreflect.1.6.1
# opam install coq-mathcomp-multinomials
opam install coq-ssr-elliptic-curves
opam install menhir
````
......@@ -30,14 +30,14 @@
````bash
git clone git-rts@gitlab.mpi-sws.org:robbertkrebbers/coq-stdpp.git
cd coq-stdpp
make
make -j
cd ..
````
##### 4. Install Compcert
````bash
git clone git@github.com:ildyria/CompCert.git compcert
git clone git@github.com:ildyria/CompCert.git Compcert
cd Compcert
./configure -clightgen ia32-linux
# or ia32-macosx
......@@ -52,6 +52,22 @@
cd VST
git checkout ECC
make -j
cd ..
````
##### 6. Install TweetNacl
````bash
git clone git@gitlab.science.ru.nl:benoit/tweetnacl.git
cd tweetnacl
# build Coqprime
cd Coqprime
make -j
cd ..
make -j
cd ..
````
<!--
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment