From 3510612550c32c790447b45ee01efbcf855815b9 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 25 Sep 2017 15:36:15 +0200
Subject: [doc] Update INSTALL to match reality.

[c.f] https://coq.inria.fr/bugs/show_bug.cgi?id=4270
---
 .travis.yml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index b9ea455da..dd80e6107 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -31,6 +31,7 @@ env:
   # system is == 4.02.3
   - COMPILER="system"
   - CAMLP5_VER="6.14"
+  - FINDLIB_VER="1.4.1"
   - NATIVE_COMP="yes"
   - COQ_DEST="-local"
   # Main test suites
@@ -95,6 +96,7 @@ matrix:
     - env:
       - TEST_TARGET="test-suite"
       - COMPILER="4.05.0"
+      - FINDLIB_VER="1.7.3"
       - CAMLP5_VER="7.01"
       - EXTRA_CONF="-coqide opt -with-doc yes"
       - EXTRA_OPAM="lablgtk-extras hevea"
@@ -125,6 +127,7 @@ matrix:
       - TEST_TARGET="coqocaml"
       - COMPILER="4.05.0"
       - CAMLP5_VER="7.01"
+      - FINDLIB_VER="1.7.3"
       - EXTRA_CONF="-coqide opt -warn-error"
       - EXTRA_OPAM="lablgtk-extras hevea"
       # dummy target
@@ -140,7 +143,7 @@ matrix:
       env:
       - TEST_TARGET="test-suite"
       - COMPILER="4.02.3"
-      - CAMLP5_VER="6.17"      
+      - CAMLP5_VER="6.17"
       - NATIVE_COMP="no"
       - COQ_DEST="-local"
       before_install:
@@ -188,7 +191,7 @@ install:
 - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
 - eval $(opam config env)
 - opam config list
-- opam install -j ${NJOBS} -y camlp5.${CAMLP5_VER} ocamlfind ${EXTRA_OPAM}
+- opam install -j ${NJOBS} -y camlp5.${CAMLP5_VER} ocamlfind.${FINDLIB_VER} ${EXTRA_OPAM}
 - opam list
 
 script:
-- 
cgit v1.2.3