blob: b4d747d6ab7a42321b35d95d992cbe7e10740cc8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
language: generic
sudo: required
dist: trusty
env:
matrix:
- COQ_VERSION="8.4" COQPRIME="coqprime"
- COQ_VERSION="8.5" COQPRIME="coqprime-8.5"
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
|