From c716469f6fb34ff474daff790b12dc40eab94d23 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Thu, 16 Jun 2022 15:46:12 +0200
Subject: [PATCH] [CI] install first system package

---
 .gitlab-ci.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 91b3bec96..fed2b3d11 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -40,8 +40,10 @@ tests:
   - eval `opam-2.1 config env`
   - sudo apt-get update
   - opam-2.1 remote add uptodate https://opam.ocaml.org/
+  - opam-2.1 install . --deps-only --with-test --with-doc --yes --depext-only
   - opam-2.1 install . --deps-only --with-test --with-doc --yes
   - opam-2.1 repo add coq-released https://coq.inria.fr/opam/released
+  - opam-2.1 install --yes why3 core jingoo yojson logs core coq-flocq --depext-only
   - opam-2.1 install --yes why3 core jingoo yojson logs core coq-flocq # For generation not done in release mode
   - make
   - make test
@@ -65,8 +67,10 @@ generate-static:
   - eval `opam-2.1 config env`
   - opam-2.1 remote add uptodate https://opam.ocaml.org/
   - sed -e "s/; FOR STATIC//" -i src_colibri2/bin/dune
-  - opam-2.1 install . --deps-only --locked --with-test --with-doc --yes
+  - opam-2.1 install . --deps-only --with-test --with-doc --yes --depext-only
+  - opam-2.1 install . --deps-only --with-test --with-doc --yes
   - opam-2.1 repo add coq-released https://coq.inria.fr/opam/released
+  - opam-2.1 install --yes why3 core jingoo yojson logs core coq-flocq coq-coq2html --depext-only
   - opam-2.1 install --yes why3 core jingoo yojson logs core coq-flocq coq-coq2html # For generation not done in release mode
   - echo -e "\e[31mCompile Colibri2 static\e[0m"
   - make
-- 
GitLab