Skip to content

GitLab

F
FloVer
Commit 9113b954 authored by Heiko Becker's avatar Heiko Becker
Browse files
Options

Update CI Dockerimage

parent a3f54c8c
Hide whitespace changes
Inline Side-by-side
Showing with 6 additions and 4 deletions
Dockerfile
View file @ 9113b954
......@@ -4,13 +4,15 @@ ENV HOLCOMMIT 60830f02ff6b86e0fd69ce6679614d497089b2eb
WORKDIR /root
#Necessary packages for opam
RUN apt-get update && \
apt-get install -y build-essential aspcud m4 wget unzip git
# Install opam
RUN \
wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin
RUN wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin
# Configure opam
RUN apt-get install -y build-essential aspcud m4 && \
opam init --comp=4.02.3 --auto-setup && \
RUN opam init --comp=4.05.0 --auto-setup && \
eval `opam config env`
# Install coq and dependencies
......
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