aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2018-02-27 18:33:18 +0100
committerGravatar Enrico Tassi <Enrico.Tassi@inria.fr>2018-02-28 17:07:26 +0100
commit4908922de3a4c1af3a3368598a65699822212815 (patch)
treeb6ee7a9893f4bc4de4ec69559904cb297c02906c
parente1fd981dfc80da6c4197ea353c8215d15676860e (diff)
travis: elpi needs findlib >= 1.5
-rw-r--r--.travis.yml2
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml
index babbbbccd..9ec936b0c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -76,6 +76,8 @@ matrix:
- TEST_TARGET="ci-coquelicot"
- if: NOT (type = pull_request)
env:
+ # ppx_tools_versioned requires a specific version findlib
+ - FINDLIB_VER=""
- TEST_TARGET="ci-elpi" EXTRA_OPAM="ppx_tools_versioned ppx_deriving ocaml-migrate-parsetree"
- if: NOT (type = pull_request)
env: