Dockerfile 995 Bytes
Newer Older
1
FROM ocaml/opam2:latest
Heiko Becker's avatar
Heiko Becker committed
2 3 4

WORKDIR /root

5 6
USER root

Heiko Becker's avatar
Heiko Becker committed
7 8
#Necessary packages for opam
RUN apt-get update && \
9
    apt-get install -y build-essential aspcud m4 wget unzip git curl
Heiko Becker's avatar
Heiko Becker committed
10

11 12 13
# # Configure opam
# RUN opam init --comp=4.05.0 --auto-setup && \
RUN eval `opam config env`
14

15
RUN cd /home/opam/opam-repository && git pull && cd
16 17

# Install coq and dependencies
18
RUN opam repo add coq-released https://coq.inria.fr/opam/released --set-default && \
Heiko Becker's avatar
Heiko Becker committed
19 20
    opam update

21 22 23 24
### 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`
25

26
#RUN opam install coq.8.7.2 coq-flocq.2.6.1
Heiko Becker's avatar
Heiko Becker committed
27 28

#Install coq 8.8 in a switch
29
RUN opam switch create coq8.8 ocaml-base-compiler.4.05.0
30
RUN opam install coq.8.8.2 coq-flocq.3.1.0
31 32 33 34 35 36

# Install polyml from git
RUN git clone https://github.com/polyml/polyml.git polyml && \
    cd polyml && \
    git checkout v5.7 && \
    ./configure && make && make install