diff options
author | Jason Gross <jgross@mit.edu> | 2017-07-03 15:47:51 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2017-09-15 21:53:45 -0400 |
commit | 101b567a4f24b140a9939f9bbffc67b0ad5e1e1b (patch) | |
tree | f29011a1a9a4b9825b9ef0c9101d9a8ad9f7dd71 /.travis.yml | |
parent | daa0b1c9c07a0d9483ee07ce4d3aa950b19e17ef (diff) |
Test `make bench` on travis.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 34 |
1 files changed, 23 insertions, 11 deletions
diff --git a/.travis.yml b/.travis.yml index a7ad8b2df..551ef7514 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,23 +1,34 @@ -language: generic +language: c sudo: required dist: trusty +compiler: + - gcc + +addons: + apt: + sources: + - ubuntu-toolchain-r-test + packages: + - g++-7 + - libssl-dev + matrix: fast_finish: true include: - - env: COQ_VERSION="trunk" TARGETS="coq display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-trunk-daily" - - env: COQ_VERSION="v8.7" TARGETS="coq display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" - - env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily" - - env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily" - - env: COQ_VERSION="8.6" TARGETS="no-curves-proofs display" COQ_PACKAGE="coq-8.6" PPA="ppa:jgross-h/many-coq-versions" - - env: TARGETS="printlite lite" COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" PPA="ppa:jgross-h/many-coq-versions" + - env: COQ_VERSION="trunk" TARGETS="coq display test bench" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-trunk-daily" + - env: COQ_VERSION="v8.7" TARGETS="coq display test bench" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" + - env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs display test bench" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily" + - env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily" + - env: COQ_VERSION="8.6" TARGETS="no-curves-proofs display test bench" COQ_PACKAGE="coq-8.6" PPA="ppa:jgross-h/many-coq-versions" + - env: TARGETS="printlite lite" COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" PPA="ppa:jgross-h/many-coq-versions" allow_failures: - - env: COQ_VERSION="trunk" TARGETS="coq display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-trunk-daily" - - env: COQ_VERSION="v8.7" TARGETS="coq display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" - - env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs display" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily" - - env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily" + - env: COQ_VERSION="trunk" TARGETS="coq display test bench" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-trunk-daily" + - env: COQ_VERSION="v8.7" TARGETS="coq display test bench" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.7-daily" + - env: COQ_VERSION="v8.6" TARGETS="no-curves-proofs display test bench" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.6-daily" + - env: COQ_VERSION="v8.5" TARGETS="lite" COQ_PACKAGE="coq" PPA="ppa:jgross-h/coq-8.5-daily" before_install: - if [ ! -z "$PPA" ]; then sudo add-apt-repository "$PPA" -y; fi @@ -28,6 +39,7 @@ before_install: before_script: - uname -a - source ./etc/ci/travis_keep_alive.sh + - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-7 60 --slave /usr/bin/g++ g++ /usr/bin/g++-7 script: ./etc/coq-scripts/timing/make-pretty-timed.sh -j2 $TARGETS && make $TARGETS TIMED=1 -j2 |