More hacks for flambda CI job.

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

Showing with 5 additions and 1 deletion

.gitlab-ci.yml .gitlab-ci.yml +5 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,7 +38,11 @@ build-coq.8.8.1-flambda:
  tags:
  - fp-timing
  script:
-  - opam switch create "4.07.0+flambda"
+  - |
+    export OPAMROOT="$(pwd)/opamroot";
+    export OPAMJOBS="$((2*$CPU_CORES))";
+    export OPAM_EDITOR="$(which false)";
+    opam switch create "4.07.0+flambda"
  - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
  - ci/buildjob