diff options
| -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} |