forked from bendy/fiat
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
37 lines (33 loc) · 3.02 KB
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
language: generic
sudo: required
matrix:
include:
- dist: trusty
env: COQ_VERSION="master" TARGETS="fiat-core parsers" FLAGS="PROFILE=1" COQ_PACKAGE="coq libcoq-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/coq-master-daily"
- dist: trusty
env: COQ_VERSION="v8.8" TARGETS="fiat-core parsers" FLAGS="PROFILE=1" COQ_PACKAGE="coq libcoq-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/coq-8.8-daily"
- dist: trusty
env: COQ_VERSION="v8.7" TARGETS="fiat-core parsers" FLAGS="PROFILE=1" COQ_PACKAGE="coq libcoq-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/coq-8.7-daily"
- dist: trusty
env: COQ_VERSION="v8.6" TARGETS="fiat-core parsers" FLAGS="PROFILE=1" COQ_PACKAGE="coq libcoq-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/coq-8.6-daily"
- dist: trusty
env: COQ_VERSION="8.8.0" TARGETS="fiat-core parsers" FLAGS="PROFILE=1" COQ_PACKAGE="coq-8.8.0 libcoq-8.8.0-ocaml libcoq-8.8.0-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/many-coq-versions"
- dist: trusty
env: COQ_VERSION="8.7.2" TARGETS="fiat-core parsers" FLAGS="PROFILE=1" COQ_PACKAGE="coq-8.7.2 libcoq-8.7.2-ocaml libcoq-8.7.2-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/many-coq-versions"
- dist: trusty
env: COQ_VERSION="8.6.1" TARGETS="fiat-core parsers" FLAGS="PROFILE=1" COQ_PACKAGE="coq-8.6.1 libcoq-8.6.1-ocaml libcoq-8.6.1-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/many-coq-versions"
- dist: trusty
env: COQ_VERSION="8.5pl3" TARGETS="fiat-core querystructures" FLAGS="" COQ_PACKAGE="coq-8.5pl3 libcoq-8.5pl3-ocaml libcoq-8.5pl3-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/many-coq-versions"
- dist: precise
env: COQ_VERSION="8.4pl6" TARGETS="fiat-core querystructures" FLAGS="" COQ_PACKAGE="coq-8.4pl6 libcoq-ocaml-8.4pl6 libcoq-ocaml-dev-8.4pl6 ocaml camlp5" PPA="ppa:jgross-h/many-coq-versions-ocaml-3"
allow_failures:
- env: COQ_VERSION="v8.6" TARGETS="fiat-core parsers" FLAGS="PROFILE=1" COQ_PACKAGE="coq libcoq-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/coq-8.6-daily"
- dist: trusty
env: COQ_VERSION="8.5pl3" TARGETS="fiat-core querystructures" FLAGS="" COQ_PACKAGE="coq-8.5pl3 libcoq-8.5pl3-ocaml libcoq-8.5pl3-ocaml-dev ocaml camlp5" PPA="ppa:jgross-h/many-coq-versions"
- dist: precise
env: COQ_VERSION="8.4pl6" TARGETS="fiat-core querystructures" FLAGS="" COQ_PACKAGE="coq-8.4pl6 libcoq-ocaml-8.4pl6 libcoq-ocaml-dev-8.4pl6 ocaml camlp5" PPA="ppa:jgross-h/many-coq-versions-ocaml-3"
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: ./etc/coq-scripts/timing/make-pretty-timed.sh -j2 $TARGETS $FLAGS && make TIMED=1 -j2 $TARGETS