Skip to content

F
FloVer
Commit 7f887342 authored by Heiko Becker's avatar Heiko Becker
Browse files
Options

Update Dockerfile to use Flocq 3.1, disable Coq 8.7

parent 2df64741
Hide whitespace changes
Inline Side-by-side
Showing with 6 additions and 5 deletions
Dockerfile
View file @ 7f887342
......@@ -18,15 +18,16 @@ RUN cd /home/opam/opam-repository && git pull && cd
RUN opam repo add coq-released https://coq.inria.fr/opam/released --set-default && \
opam update
#Install coq 8.7.2 in a switch
RUN opam switch create coq8.7.2 ocaml-base-compiler.4.05.0 && \
eval `opam config env`
### Currently disabled because some lemmas are missing in 8.7.2
##Install coq 8.7.2 in a switch
#RUN opam switch create coq8.7.2 ocaml-base-compiler.4.05.0 && \
# eval `opam config env`
RUN opam install coq.8.7.2 coq-flocq.2.6.1
#RUN opam install coq.8.7.2 coq-flocq.2.6.1
#Install coq 8.8 in a switch
RUN opam switch create coq8.8 ocaml-base-compiler.4.05.0
RUN opam install coq.8.8.2 coq-flocq.2.6.1
RUN opam install coq.8.8.2 coq-flocq.3.1.0
# Install polyml from git
RUN git clone https://github.com/polyml/polyml.git polyml && \
......
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