-
Notifications
You must be signed in to change notification settings - Fork 1
/
Dockerfile.template
27 lines (20 loc) · 935 Bytes
/
Dockerfile.template
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
FROM ocamlpro/ocaml:@OCaml_Compiler_Version@ as ae-compilation
LABEL maintainer="[email protected]"
LABEL description="Light docker images for the SMT solver alt-ergo (no handling of the GUI is proposed for `slim` images) "
RUN opam switch create . ocaml-system --deps --locked && \
eval `opam env` && \
opam update &&\
eval `opam env` && \
opam install -y @Opam_deps@ alt-ergo.@AE_TAG_VERSION@ && \
sudo cp /home/ocaml/_opam/bin/alt-ergo /usr/local/bin/alt-ergo-@AE_TAG_VERSION@ && \
rm -rf _opam && \
rm -rf .opam
WORKDIR /home/ocaml
RUN rm -rf /home/ocaml/alt-ergo
FROM alpine:@Alpine_Output_Version@ as target
RUN apk add @Target_Pkgs@
RUN addgroup -S iamproof && adduser -S iamproof -G iamproof -s /bin/sh
RUN echo 'iamproof ALL=(ALL) NOPASSWD: ALL' >> /etc/sudoers
USER iamproof
WORKDIR /home/ocaml
COPY --from=ae-compilation /usr/local/bin/alt-ergo-@AE_TAG_VERSION@ /usr/local/bin/