Merge PR #12363: [8.12] Tweak the OCaml version used to generate the …

…MacOS package.
coq · May 23, 2020 · 82c5cc1 · 82c5cc1
2 parents 701d713 + 00368b4
commit 82c5cc1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -74,15 +74,15 @@ jobs:
   - script: |
       set -e
       export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig
-      opam init -a -j "$NJOBS" --compiler=ocaml-base-compiler.$COMPILER
-      opam switch set ocaml-base-compiler.$COMPILER
+      opam init -a -j "$NJOBS" --compiler=ocaml-variants.$COMPILER
+      opam switch set ocaml-variants.$COMPILER
       eval $(opam env)
       opam update
       opam install -j "$NJOBS" num ocamlfind${FINDLIB_VER} ounit lablgtk3-sourceview3
       opam list
     displayName: 'Install OCaml dependencies'
     env:
-      COMPILER: "4.10.0"
+      COMPILER: "4.07.1+flambda"
       FINDLIB_VER: ".1.8.1"
       OPAMYES: "true"