diff options
| author | Enrico Tassi | 2018-04-20 10:46:39 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 10:46:39 +0200 |
| commit | 3d196f44681fb3b23ff8a79fbd44e12308680531 (patch) | |
| tree | 023a0f80ca244a49f6d5dc8ce54c48fb8cb55e09 | |
| parent | e9faaa3129f74c91313e5bbcf658d891bd351319 (diff) | |
travis: build against 8.6 -> 8.8
| -rw-r--r-- | .travis.yml | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/.travis.yml b/.travis.yml index 0d479b1..81d5839 100644 --- a/.travis.yml +++ b/.travis.yml @@ -21,22 +21,16 @@ env: matrix: - TEST_TARGET="v8.6" - TEST_TARGET="v8.7" + - TEST_TARGET="v8.8" - TEST_TARGET="master" -# matrix: -# allow_failures: - # v8.5 was too slow to build mathcomp - # - env: TEST_TARGET="v8.5" - install: - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y - eval $(opam config env) - opam config var root - opam install -j ${NJOBS} -y ocamlfind camlp5 ${EXTRA_OPAM} - opam list -# We could do "opam install coq=${TEST_TARGET}" but not so sure how -# that does work for trunk. -- git clone --depth 1 -b ${TEST_TARGET} git://scm.gforge.inria.fr/coq/coq.git coq-${TEST_TARGET} +- git clone --depth 1 -b ${TEST_TARGET} https://github.com/coq/coq.git coq-${TEST_TARGET} - cd coq-${TEST_TARGET} - ./configure -native-compiler no -local -coqide no - make -j ${NJOBS} |