diff --git a/Dockerfile b/Dockerfile index 6871f7600b4f4829b7142c3945b2fad87d8a2c1f..820fdb80180ee1441b9b993c86fc21dd7c0ed102 100644 --- a/Dockerfile +++ b/Dockerfile @@ -5,10 +5,10 @@ RUN git pull 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 . /home/opam/.profile && cd clangml-transforms && \ +RUN cd /home/opam && git clone git@gitlab.inria.fr:memcad/clangml-transforms.git +RUN . /home/opam/.profile && cd /home/opam/clangml-transforms && \ dune build clangml-transforms.opam -RUN opam pin add -n file://$PWD/clangml-transforms +RUN opam pin add -n file:///home/opam/clangml-transforms RUN cd /home/opam && git clone git@gitlab.inria.fr:tmartine/memcad.git RUN opam pin add -n /home/opam/memcad RUN opam depext -i memcad