From d37fd4318ab00b32d5a8ca3a5426fac716f6480c Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Thu, 17 Oct 2019 13:38:52 +0200
Subject: [PATCH] Source .profile

---
 Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 3caed02..7f8e47e 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
-- 
GitLab