diff options
author | Tim King <taking@google.com> | 2016-08-30 21:31:59 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-09-18 15:57:10 -0700 |
commit | 89c7f56eb901a30845867cfb2dfccf1518935117 (patch) | |
tree | 0da73487e7a46cf7c36d04d8a627c1c9da6ecdef /.travis.yml | |
parent | 53d625529c90c81b46a08811e4143552095fff9a (diff) |
Adding a gnu++11 rule to travis.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 08b7b0241..67398ded9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -4,12 +4,14 @@ cache: directories: - $HOME/cxxtest -sudo: false +sudo: required +dist: trusty compiler: - gcc - clang env: + - TRAVIS_CVC4=yes CXXFLAGS='-std=gnu++11' - TRAVIS_CVC4=yes TRAVIS_CVC4_CONFIG='production --enable-language-bindings=java,c' - TRAVIS_CVC4=yes TRAVIS_CVC4_CONFIG='debug --enable-language-bindings=java,c' - TRAVIS_CVC4=yes TRAVIS_CVC4_DISTCHECK=yes @@ -45,7 +47,7 @@ script: configureCVC4() { echo "CVC4 config - $TRAVIS_CVC4_CONFIG"; ./configure --enable-unit-testing --enable-proof --with-portfolio $TRAVIS_CVC4_CONFIG CXXTEST=$HOME/cxxtest || - (echo; cat builds/config.log; error "CONFIGURE FAILED"); + (echo; echo "Trying to print config.log"; cat builds/config.log; error "CONFIGURE FAILED"); } error() { echo; |