From 5d5b3df5fe41f7791838162b9a05188d6f32c480 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 9 Jun 2020 14:23:40 +0200
Subject: [PATCH] CI: ocaml/opam2:ubuntu-18.04 (ocaml/opam2:ubuntu does not
work anymore)
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fccf4831..bd3ff0be 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,4 @@
-image: ocaml/opam2:ubuntu
+image: ocaml/opam2:ubuntu-18.04
stages:
- build
@@ -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`
- - sudo opam depext -y lustre-v6 lutin lablgtk3
+ - opam depext -y lustre-v6 lutin lablgtk3
- opam install -y dune ocamlgraph lutin lablgtk3
- make
- make install
--
GitLab