diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b4e637776592741788b5939ed057d20c1e88b7b2..fccf483133a02432b01cf74d7ee998e317247a69 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 @@ -36,7 +36,7 @@ test_opam_test: 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 sasa + - sudo opam depext -y sasa - opam install -y sasa allow_failure: true