diff options
author | Jason Gross <jagro@google.com> | 2016-06-22 11:31:16 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-06-22 11:31:16 -0700 |
commit | f6003677e2d58fbfb1364a10d34d838fbfb280e4 (patch) | |
tree | acff81afa0b9a50ffb8238498a2246fae867cdf5 /.travis.yml | |
parent | 3d8afe1c9bd905e3a62523e87a2aa7e5d9f5093d (diff) |
Also build with Coq 8.5 on travis
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 |