From cd8cbebeb5ae5843b4ce852db2a47f799595474f Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 16 Feb 2022 17:53:39 +0100
Subject: [PATCH] ci: psq needs to be installed now
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 81164574..73fbeb4b 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
- - opam install -y dune ocamlgraph lutin lablgtk3 functory
+ - opam depext -y lustre-v6 lutin lablgtk3 functory psq
+ - opam install -y dune ocamlgraph lutin lablgtk3 functory psq
- make
- make install
- make test
--
GitLab