diff options
author | Tim King <taking@cs.nyu.edu> | 2016-09-18 20:31:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-18 20:31:41 -0700 |
commit | e61e9853656d0a0d1c16cb095b9173dc2f732b21 (patch) | |
tree | 62e673c90b1fbf0ef945bff62b9c19d212ffbaa2 | |
parent | c7f820d981d63b6fe2b0f4469b7b4527318f61d0 (diff) | |
parent | 89c7f56eb901a30845867cfb2dfccf1518935117 (diff) |
Merge pull request #92 from timothy-king/travis-cpp11
Adding a gnu++11 rule to travis.
-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; |