Skip to content
Snippets Groups Projects
Select Git revision
  • 3c537c9709ef52f2c3eb9f36ef5288c7bd69b4f1
  • master default protected
  • reachability_tree
  • dot+svg
  • laplace-1
  • boltzmann
  • barbot-master-patch-08061
  • barbot-master-patch-81868
  • breach_stuff
  • HSCCRE23
  • HhccRE
  • stable_1.0
12 results

Dockerfile

Blame
    • Dockerfile 655 B 
    FROM ocaml/opam:debian-11-ocaml-5.2

RUN sudo apt-get update; sudo apt-get install -y --no-install-recommends libgmp-dev pkg-config gnuplot zlib1g-dev ca-certificates; sudo apt-get clean

RUN opam update;opam install xml-light num zarith ppx_deriving js_of_ocaml-ppx js_of_ocaml-lwt camlzip bisect_ppx alcotest dune
#RUN opam pin https://git.lacl.fr/barbot/GraphEditor.git

RUN git clone  --depth 1 https://git.lacl.fr/barbot/GraphEditor.git; cd GraphEditor; eval `opam config env`; dune build; dune install

RUN git clone  --depth 1  https://git.lacl.fr/barbot/wordgen.git 
WORKDIR /home/opam/wordgen
RUN eval `opam config env`; dune build; dune install