diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index 9bea40d88..b4d747d6a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,9 +3,18 @@ language: generic sudo: required dist: trusty -addons: - apt: - packages: - - coq +env: + matrix: + - COQ_VERSION="8.4" COQPRIME="coqprime" + - COQ_VERSION="8.5" COQPRIME="coqprime-8.5" -script: make COQPATH="$(pwd)/coqprime" TIMED=1 -j2 +matrix: + allow_failures: + - env: COQ_VERSION="8.5" COQPRIME="coqprime-8.5" + +before_install: + - if [ "$COQ_VERSION" == "8.5" ]; then sudo add-apt-repository ppa:jgross-h/coq-backports -y; fi + - sudo apt-get update -q + - sudo apt-get install coq -y + +script: make COQPATH="$(pwd)/$COQPRIME" TIMED=1 -j2 |