From ab3eda33281366194e1eadb5c53970da8fd3b3b5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 6 Feb 2017 17:29:06 +0100
Subject: [travis] Add initial Travis CI support.

---
 .travis.yml | 52 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 .travis.yml

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'
-- 
cgit v1.2.3