From ce2735ec5730b495d1fa86e62914e7cf04dbb640 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 9 Jun 2020 12:19:15 +0200
Subject: [PATCH] CI: ocaml/opam2:ubuntu now requires sudo to use opam depext
(?)
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b4e63777..fccf4831 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
@@ -36,7 +36,7 @@ test_opam_test:
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 sasa
+ - sudo opam depext -y sasa
- opam install -y sasa
allow_failure: true
--
GitLab