blob: b7f69d9f2dfc1d75af0b89243ff63965389cf350 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
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 Makefile.coq
- make -f Makefile.coq -j ${NJOBS} all
- echo -en 'travis_fold:end:mathcomp.build\\r'
|
