CristalCaveGem » LustreC

FROM ocaml/opam:debian-10-ocaml-4.11

RUN sudo apt-get update &&\

    sudo apt-get install -y cvc4 z3

RUN opam update &&\

    opam depext -i\

    dune.2.9.1 dune-site menhir zarith ppx_deriving_yojson ocamlgraph alt-ergo frama-c

ENV PATH=$PATH:/home/opam/.opam/4.11/bin

RUN why3 config detect

COPY init.sh $HOME/

CMD ["/bin/bash", "--init-file", "~/init.sh"]

#!/usr/bin/env bash

cd $HOME/lustrec

echo "Compiling LustreC..."

dune build

echo "Done."

#!/usr/bin/env bash

containerId=leliobrun/lustrec-env

command -v docker >/dev/null 2>&1 || { \

        echo >&2 "docker is required but could not be found.  Aborting."; \

        echo >&2 "To setup Docker: https://docs.docker.com/engine/getstarted/step_one/"; \

        exit 1; }

docker run -it --rm --user $(id -u):$(id -g)\

    -v $PWD:/home/opam/lustrec $containerId $1