Source .profile

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