blob: 091fd5200be8ec3e589c769b1480108ae148a144 (
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
|
language: generic
sudo: required
dist: trusty
matrix:
fast_finish: true
include:
- env: COQ_VERSION="trunk" TARGETS="coq" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-trunk-daily"
- env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily"
- env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily"
- env: COQ_VERSION="8.6" TARGETS="no-curves-proofs" COQ_PACKAGE="coq-8.6" PPA="ppa:jgross-h/many-coq-versions"
- env: TARGETS="printlite lite" COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" PPA="ppa:jgross-h/many-coq-versions"
allow_failures:
- env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily"
- env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily"
- env: COQ_VERSION="trunk" TARGETS="coq" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-trunk-daily"
before_install:
- if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi
- sudo apt-get update -q
- sudo apt-get install $COQ_PACKAGE -y
before_script:
- uname -a
- source ./etc/ci/travis_keep_alive.sh
script: COQPATH="$(pwd)/$COQPRIME" ./etc/coq-scripts/timing/make-pretty-timed.sh -j2 $TARGETS && make COQPATH="$(pwd)/coqprime" $TARGETS TIMED=1 -j2
after_success:
- kill $PID_KEEP_ALIVE
|