blob: 5412f31a0899622ed4a9b675e7950148688e36ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
language: generic
sudo: required
matrix:
include:
- dist: trusty
env: COQ_VERSION="8.5pl1" COQ_PACKAGE="coq-8.5pl1" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions"
- dist: trusty
env: COQ_VERSION="8.5" COQ_PACKAGE="coq-8.5" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions"
- dist: trusty
env: COQ_VERSION="8.4" COQ_PACKAGE="coq" COQPRIME="coqprime-8.4" PPA=""
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
script: make COQPATH="$(pwd)/$COQPRIME" TIMED=1 -j2
|