diff options
| author | Enrico | 2017-02-06 20:21:30 +0100 |
|---|---|---|
| committer | GitHub | 2017-02-06 20:21:30 +0100 |
| commit | 03813123823780fc4a17e960a50758055573c7da (patch) | |
| tree | 6152d7951d20f0e578059e1a7cdc7a9ee6b40a24 | |
| parent | c4a2f8e4f80764266406e7166572e553c0ff2f5f (diff) | |
| parent | ab3eda33281366194e1eadb5c53970da8fd3b3b5 (diff) | |
Merge pull request #103 from ejgallego/travis
[travis] Add initial Travis CI support.
| -rw-r--r-- | .travis.yml | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 0000000..966c910 --- /dev/null +++ b/.travis.yml @@ -0,0 +1,52 @@ +dist: trusty +sudo: required +language: c +cache: + apt: true + directories: + - $HOME/.opam +addons: + apt: + sources: + - avsm + packages: + - opam + - aspcud +env: + global: + - NJOBS=2 + # system is == 4.02.3 + - COMPILER="system" + # Main test targets + matrix: + - TEST_TARGET="v8.5" + - TEST_TARGET="v8.6" + - TEST_TARGET="trunk" + +matrix: + allow_failures: + # v8.5 is too slow to build mathcomp + - env: TEST_TARGET="v8.5" + +install: +- "[ -e .opam ] || 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 -b ${TEST_TARGET} git://scm.gforge.inria.fr/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 +# Full build takes too much time. +- sed -i.bak '/odd_order/d' Make +- make -j ${NJOBS} +- echo -en 'travis_fold:end:mathcomp.build\\r' |