diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bd3ff0be3cf8ec14b244f546fa9be2abc05ab400..681b4220147840a87f8eb833afb69dde9e63ca2f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -10,7 +10,7 @@ build: script: - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository" - eval `opam config env` - - opam depext -y lustre-v6 lutin lablgtk3 + - sudo opam depext -y lustre-v6 lutin lablgtk3 - opam install -y dune ocamlgraph lutin lablgtk3 - make - make install