From 6ea07bb51a935e8f6292a1c84b55cb7a273a6c70 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sat, 15 Jul 2017 15:23:02 +0200
Subject: Add [opam update] and online repository to gitlab CI script.

This allows it to find out about new packages / compilers without
having to invalidate cache somehow.
Additionally the latest camlp5 (7.01) is not in the local repository
for some reason.
---
 .gitlab-ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8b43d975ac..b47494d3ae 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -40,6 +40,11 @@ before_script:
   - if [ ! "(" -d .opamcache ")" ]; then mv ~/.opam .opamcache; else mv ~/.opam ~/.opam-old; fi
   - ln -s $(readlink -f .opamcache) ~/.opam
 
+  # the default repo in this docker image is a local directory
+  # at the time of 4aaeb8abf it lagged behind the official
+  # repository such that camlp5 7.01 was not available
+  - opam repository set-url default https://opam.ocaml.org
+  - opam update
   - opam switch ${COMPILER}
   - eval $(opam config env)
   - opam config list
-- 
cgit v1.2.3