From 95b635a7d93921fbea4b9161011baf15d21a7605 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 29 Jun 2022 11:25:47 +0200
Subject: [PATCH] ci: temporary fix
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a0e55412..f8b3b611 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +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 depext sasa rdbgui4sasa || echo "not needed for recent opam version"
+ - opam depext sasa rdbgui4sasa lutin lustre-v6 || echo "not needed for recent opam version"
- opam install --deps-only ./sasa.opam ./rdbgui4sasa.opam
- make
- make install
--
GitLab