1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
FROM ubuntu:16.04
RUN apt update; echo yes | apt install autoconf automake unzip aspcud rsync \
git mercurial darcs wget build-essential sudo vim curl
RUN useradd -m -s /bin/bash ci
Run echo ci ALL=\(ALL\) NOPASSWD:ALL >/etc/sudoers
USER ci
RUN wget -O ~/opam https://github.com/ocaml/opam/releases/download/2.0.1/opam-2.0.1-x86_64-linux
RUN chmod +x ~/opam
RUN sudo mv ~/opam /usr/local/bin/opam
RUN opam init --disable-sandboxing --auto-setup --dot-profile=/home/ci/.bash_env
SHELL ["/bin/bash", "-c"]
ENV BASH_ENV /home/ci/.bash_env
# RUN opam update && opam switch create 3.07
RUN opam update && opam switch create 3.08.4
RUN opam update && opam switch create 3.09.3
RUN opam update && opam switch create 3.10.2
RUN opam update && opam switch create 3.11.2
RUN opam update && opam switch create 3.12.1
RUN opam update && opam switch create 4.00.1
RUN opam update && opam switch create 4.01.0
RUN opam update && opam switch create 4.02.3
RUN opam update && opam switch create 4.03.0
RUN opam update && opam switch create 4.04.2
RUN opam update && opam switch create 4.05.0
RUN opam update && opam switch create 4.06.1
RUN opam update && opam switch create 4.07.0
RUN opam update && opam switch create 4.07.1
RUN opam update && opam switch create 4.08.1
RUN opam update && opam switch create 4.09.0
RUN opam update && opam switch create 4.10.0
RUN opam update && \
opam repo add beta https://github.com/ocaml/ocaml-beta-repository.git && \
opam switch create 4.11.0+alpha1 --repositories=default,beta
|
