From 011560e04759672aa16014da1b6d5dca3442cbc4 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 2 Dec 2019 14:50:32 +0100
Subject: [PATCH] CI: add the official opam repo to get dune 2.0
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c11dbf89..f7adf30b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,6 +12,7 @@ build:
stage: build
script:
- sudo apt-get install -y m4
+ - opam repo add official "https://opam.ocaml.org/"
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- opam update
- opam install -y ocamlfind dune extlib
--
GitLab