diff options
| author | Anton Trunov | 2019-05-29 18:45:07 +0300 |
|---|---|---|
| committer | Anton Trunov | 2019-05-29 19:48:13 +0300 |
| commit | 5596cd2a457926419b408a5356f2a8da060b2208 (patch) | |
| tree | 2cf9d21799aec3b391d1c7f5fca310ba13458e24 | |
| parent | 748d716efb2f2f75946c8386e441ce1789806a39 (diff) | |
Remove support for Travis CI
Mathcomp switched to Gitlab CI via coqbot, see here:
https://github.com/math-comp/math-comp/pull/353#issuecomment-497017174
| -rw-r--r-- | .travis.yml | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index f350c3a..0000000 --- a/.travis.yml +++ /dev/null @@ -1,44 +0,0 @@ -dist: trusty -sudo: required -language: c -cache: - apt: true - directories: - - $HOME/.opam -addons: - apt: - sources: - - avsm - packages: - - opam - - aspcud -env: - global: - - NJOBS=2 - - COMPILER="4.05.0" - # Main test targets - matrix: - - TEST_TARGET="v8.6" - - TEST_TARGET="v8.7" - - TEST_TARGET="v8.8" - - TEST_TARGET="master" - -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 -- 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} -- cd - - -script: -- echo 'Building Mathcomp...' && echo -en 'travis_fold:start:mathcomp.build\\r' -- export PATH=`pwd`/coq-${TEST_TARGET}/bin:$PATH -- cd mathcomp -- make Makefile.coq -- make -f Makefile.coq -j ${NJOBS} all -- echo -en 'travis_fold:end:mathcomp.build\\r' |