Eval opam env in flambda CI job.

6885e474 · Janno · 50d87010 · 6885e474
Commit 6885e474 authored Sep 20, 2018 by Janno
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

.gitlab-ci.yml .gitlab-ci.yml +1 -0

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -42,6 +42,7 @@ build-coq.8.8.1-flambda:
    export OPAMROOT="$(pwd)/opamroot";
    export OPAMJOBS="$((2*$CPU_CORES))";
    export OPAM_EDITOR="$(which false)";
+    eval `opam conf env`;
    opam switch create "4.07.0+flambda"
  - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
  - ci/buildjob