diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 27d766f1fc30e5331c6e620058a644ec15eb3cd3..b855d9d5566ecaa935dcfbf92e933a39d99d3021 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,6 +11,7 @@ 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 install --depext-only ./sasa.opam
     - opam install --deps-only ./sasa.opam
     - make
     - make install