From 52c2f6d4175808e674f30cdbc8f4ec727a690507 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 6 Apr 2020 13:47:00 +0200
Subject: [PATCH] CI: (opam) install labltgk3 to be able to compile rdbgui4sasa
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dd9b1576..fc50c090 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/test/opam-repository"
- eval `opam config env`
- opam depext -y lustre-v6 lutin
- - opam install -y dune ocamlgraph lutin
+ - opam install -y dune ocamlgraph lutin lablgtk3
- make
- make install
- make test
--
GitLab