Project

General

Profile

Download (364 Bytes) Statistics
| Branch: | Tag: | Revision:
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"]
(1-1/2)