From 6d2712cc7403ab05afb0f95b1a7d44c6e2acc518 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 21 Mar 2017 15:08:02 +0100
Subject: [travis] Pin camlp5 to the minimal version 6.14 for 4.02.3

We now test:

- 4.02.3 + 6.14 [and 32bits of those]
- 4.04.0 + 6.17

this looks like what the official support set should be for 8.7, given
that both Ubuntu and Debian will ship the first, then switch to the
latter.

We also pin xmlm to version 1.2.0 to workaround bug
https://github.com/ocaml/opam-repository/issues/8815
---
 .travis.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index d35b7a8422..72ce17a09f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -22,6 +22,7 @@ env:
   - NJOBS=2
   # system is == 4.02.3
   - COMPILER="system"
+  - CAMLP5_VER="6.14"
   # Main test suites
   matrix:
   - TEST_TARGET="test-suite" COMPILER="4.02.3+32bit"
@@ -81,6 +82,7 @@ matrix:
     - env:
       - TEST_TARGET="test-suite"
       - COMPILER="4.04.0"
+      - CAMLP5_VER="6.17"
       - EXTRA_CONF="-coqide opt -with-doc yes"
       - EXTRA_OPAM="lablgtk-extras hevea"
       addons:
@@ -106,8 +108,8 @@ matrix:
 install:
 - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
 - eval $(opam config env)
-- opam config var root
-- opam install -j ${NJOBS} -y camlp5 ocamlfind ${EXTRA_OPAM}
+- opam config list
+- opam install -j ${NJOBS} -y camlp5.${CAMLP5_VER} ocamlfind ${EXTRA_OPAM}
 - opam list
 
 script:
-- 
cgit v1.2.3