diff --git a/Dockerfile b/Dockerfile index 3caed02abdc1bd947e1cd66048599c7c46492ee4..7f8e47e1c2381d622a8ad5b8889cc522e26f0ead 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,7 +6,8 @@ RUN opam update RUN opam pin add -n git+https://gitlab.inria.fr/memcad/clangml.git#snapshot RUN opam depext -i clangml RUN git clone git@gitlab.inria.fr:memcad/clangml-transforms.git -RUN cd clangml-transforms && dune build clangml-transforms.opam +RUN source /home/opam/.profile && cd clangml-transforms && \ + dune build clangml-transforms.opam RUN opam pin add -n file://$PWD/clangml-transforms RUN cd /home/opam && git clone git@gitlab.inria.fr:tmartine/memcad.git RUN opam pin add -n /home/opam/memcad