From 42c6b8f3b13cc5e974a129fe81481e64c9a8a182 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Wed, 9 May 2018 20:22:33 +0200
Subject: [travis] Add explicit opam switch command to guarantee we're using
 the requested compiler.

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index bd2be1ff7..08b255cdf 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -278,6 +278,7 @@ install:
 - if [ "${TRAVIS_OS_NAME}" == "linux" ]; then travis_retry ./dev/tools/sudo-apt-get-update.sh -q; fi
 - if [ "${TRAVIS_OS_NAME}" == "linux" ]; then sudo apt-get install -y opam aspcud gcc-multilib; fi
 - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
+- opam switch "$COMPILER" && opam update
 - eval $(opam config env)
 - opam config list
 - opam install -j ${NJOBS} -y num camlp5${CAMLP5_VER} ocamlfind${FINDLIB_VER} ${EXTRA_OPAM}
-- 
cgit v1.2.3