Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 65cf2703 authored by Thierry Martinez's avatar Thierry Martinez
Browse files

Full path for git worktree

parent 79d40e86
No related branches found
No related tags found
No related merge requests found
Pipeline #99168 failed
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment