Dockerfile.init 621 Bytes
Newer Older
1 2 3
FROM ocaml/ocaml:debian-stable

# install dependencies
4
ARG debian_packages
5
RUN apt-get update && \
6
    apt-get install -y wget libgmp-dev gtk+-2.0 libgtksourceview2.0-dev gnome-themes-standard libcanberra-gtk-module opam xvfb $debian_packages
7 8 9 10 11 12 13 14

# create user
RUN sudo adduser --disabled-password --gecos '' why3
USER why3
ENV HOME /home/why3
WORKDIR /home/why3

ARG compiler=system
15
RUN opam init -a -y -j1 --compiler=$compiler
16
RUN opam repository add coq-released https://coq.inria.fr/opam/released
17

18 19
ARG opam_packages
RUN opam install -y menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip alt-ergo $opam_packages