diff options
| author | Emilio Jesus Gallego Arias | 2017-03-21 15:08:02 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-04-24 05:34:56 +0200 |
| commit | 6d2712cc7403ab05afb0f95b1a7d44c6e2acc518 (patch) | |
| tree | d5cd629ec31d78ae7195683e8b9eedce2a3e0282 | |
| parent | c86c6558fcf7f8dc4a17aceed24f68f756f28ea9 (diff) | |
[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
| -rw-r--r-- | .travis.yml | 6 |
1 files 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: |