lustrec/docker/Dockerfile @ d10d0cd9
| 1 |
FROM ocaml/opam:debian-10-ocaml-4.11 |
|---|---|
| 2 |
|
| 3 |
RUN sudo apt-get update &&\ |
| 4 |
sudo apt-get install -y cvc4 z3 |
| 5 |
|
| 6 |
RUN opam update &&\ |
| 7 |
opam depext -i\ |
| 8 |
dune.2.9.1 dune-site menhir zarith ppx_deriving_yojson ocamlgraph alt-ergo frama-c |
| 9 |
|
| 10 |
ENV PATH=$PATH:/home/opam/.opam/4.11/bin |
| 11 |
|
| 12 |
RUN why3 config detect
|
| 13 |
|
| 14 |
COPY init.sh $HOME/ |
| 15 |
|
| 16 |
CMD ["/bin/bash", "--init-file", "~/init.sh"] |