Commit cfc1a50e authored by Heiko Becker's avatar Heiko Becker

Use correct version number for Flocq

parent bc362cfc
......@@ -19,11 +19,11 @@ RUN opam repo add coq-released https://coq.inria.fr/opam/released && \
#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
RUN opam install coq.8.7.2 coq-flocq.2.6.1
#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
RUN opam install coq.8.8.0 coq-flocq.2.6.1
# Install polyml from git
RUN git clone https://github.com/polyml/polyml.git polyml && \
......
......@@ -25,8 +25,9 @@ fi
coq_ver=$(${COQBIN}coqc -v 2>/dev/null | sed -n -e 's/The Coq Proof Assistant, version \([^ ]*\).*$/\1/p')
case "$coq_ver" in
8.7.2)
;;
8.8.0)
;;
;;
*)
echo "Error: Need 8.7.2"
exit 1
......
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