diff --git a/Dockerfile.build b/Dockerfile.build index f0a0fec51e14cf02972222e174395c6bf9fcde3a..aec055358c1fef74d0378ff1f772d8696caaeba0 100644 --- a/Dockerfile.build +++ b/Dockerfile.build @@ -2,7 +2,7 @@ FROM clangml-transforms RUN git pull RUN cd /home/opam/memcad && git pull RUN cd /home/opam/clangml-transforms && git pull -RUN . /home/opam/.profile && cd clangml-transforms && \ +RUN . /home/opam/.profile && cd /home/opam/clangml-transforms && \ dune build clangml-transforms.opam RUN opam update && opam upgrade && opam install clangml-transforms RUN cd /home/opam/memcad && git pull