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