Commit bc362cfc authored by Heiko Becker's avatar Heiko Becker

Update coq to 8.8

parent cffe703c
...@@ -15,8 +15,15 @@ RUN opam init --comp=4.05.0 --auto-setup && \ ...@@ -15,8 +15,15 @@ RUN opam init --comp=4.05.0 --auto-setup && \
# Install coq and dependencies # Install coq and dependencies
RUN opam repo add coq-released https://coq.inria.fr/opam/released && \ RUN opam repo add coq-released https://coq.inria.fr/opam/released && \
opam update && \ opam update
opam install coq.8.7.2 coq-flocq
#Install coq 8.7.2 in a switch
RUN opam switch -A 4.05.0 coq8.7.2
RUN opam install coq.8.7.2 coq-flocq
#Install coq 8.8 in a switch
RUN opam switch -A 4.05.0 coq8.8
RUN opam install coq.8.8.0 coq-flocq
# Install polyml from git # Install polyml from git
RUN git clone https://github.com/polyml/polyml.git polyml && \ RUN git clone https://github.com/polyml/polyml.git polyml && \
......
...@@ -25,6 +25,7 @@ fi ...@@ -25,6 +25,7 @@ fi
coq_ver=$(${COQBIN}coqc -v 2>/dev/null | sed -n -e 's/The Coq Proof Assistant, version \([^ ]*\).*$/\1/p') coq_ver=$(${COQBIN}coqc -v 2>/dev/null | sed -n -e 's/The Coq Proof Assistant, version \([^ ]*\).*$/\1/p')
case "$coq_ver" in case "$coq_ver" in
8.7.2) 8.7.2)
8.8.0)
;; ;;
*) *)
echo "Error: Need 8.7.2" echo "Error: Need 8.7.2"
......
#!/bin/sh #!/bin/sh
eval `opam config env`
cd ./coq cd ./coq
opam switch coq8.7.2
eval `opam config env`
./configure_coq.sh
make -j
make clean
opam switch coq8.8
eval `opam config env`
./configure_coq.sh ./configure_coq.sh
make -j make -j
Markdown is supported
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