diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 102934e1cf299c2f4891276a9a209f41882503b6..8116457440dcc6201fffc881c235928a53fd0648 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 - - opam install -y dune ocamlgraph lutin lablgtk3 + - opam depext -y lustre-v6 lutin lablgtk3 functory + - opam install -y dune ocamlgraph lutin lablgtk3 functory - make - make install - make test