From f6003677e2d58fbfb1364a10d34d838fbfb280e4 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 22 Jun 2016 11:31:16 -0700
Subject: Also build with Coq 8.5 on travis

---
 .travis.yml | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

(limited to '.travis.yml')

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