From f48d6a09f6f87f901d064e280ef264851a9047e7 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 16 Feb 2022 17:41:17 +0100
Subject: [PATCH] ci: functory 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 102934e1..81164574 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
--
GitLab