Mentions légales du service

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

Use local version of clangml-transforms

parent e26503a7
No related branches found
No related tags found
No related merge requests found
Pipeline #99120 failed
......@@ -5,7 +5,9 @@ RUN git pull
RUN opam update
RUN opam pin add -n git+https://gitlab.inria.fr/tmartine/clangml.git#snapshot
RUN opam depext -i clangml
RUN opam pin add -n git@gitlab.inria.fr:tmartine/clangml-transforms.git
RUN git clone git@gitlab.inria.fr:tmartine/clangml-transforms.git
RUN 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
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