-
Notifications
You must be signed in to change notification settings - Fork 13
/
Dockerfile
39 lines (39 loc) · 1.71 KB
/
Dockerfile
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
34
35
36
37
38
39
FROM ubuntu
ARG UID=1000
RUN apt-get update && apt-get install --yes autoconf automake unzip aspcud rsync \
git mercurial darcs wget build-essential sudo vim curl
RUN useradd -m -s /bin/bash ci --uid=${UID}
RUN echo ci ALL=\(ALL\) NOPASSWD:ALL >/etc/sudoers
USER ci
RUN wget -O ~/opam https://github.com/ocaml/opam/releases/download/2.1.2/opam-2.1.2-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.1
RUN opam update && opam switch create 4.10.2
RUN opam update && opam switch create 4.11.2
RUN opam update && opam switch create 4.12.1
RUN opam update && opam switch create 4.13.1
RUN opam update && opam switch create 4.14.0
RUN opam update && opam switch create 5.0.0~alpha0
RUN opam update && \
opam switch create 5.0.0+trunk \
--repositories=default,beta=git+https://github.com/ocaml/ocaml-beta-repository.git