diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 73fbeb4b1b3f65e816738e187fdd9ebbbac58849..a0e554125c1368139bcea6b69f27e69ea6a6598e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,8 +11,8 @@ build: - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository" - eval `opam config env` - sudo apt-get update - - opam depext -y lustre-v6 lutin lablgtk3 functory psq - - opam install -y dune ocamlgraph lutin lablgtk3 functory psq + - opam depext sasa rdbgui4sasa || echo "not needed for recent opam version" + - opam install --deps-only ./sasa.opam ./rdbgui4sasa.opam - make - make install - make test