From fe4e0606250f8a4c5d4b4d223b669612adb61737 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 9 Jun 2020 14:34:50 +0200
Subject: [PATCH] CI: ocaml/opam2:ubuntu-18.04 (ocaml/opam2:ubuntu does not
 work anymore)

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bd3ff0be..681b4220 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,7 +10,7 @@ build:
   script:
     - 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 lablgtk3
+    - sudo opam depext -y lustre-v6 lutin lablgtk3
     - opam install -y dune ocamlgraph lutin lablgtk3
     - make
     - make install
-- 
GitLab