diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-07-14 22:37:27 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-14 22:37:27 -0400 |
commit | 151df601b2677afd2baa31fd3e9ec01eea29bec2 (patch) | |
tree | dd4363cd69753ef9eb108c563ef149761237046a /.travis.yml | |
parent | ef230f2fcd8556ff8b07fe570cc00e9e1c7d4025 (diff) |
Disable separate gnu++11 tests on Travis (#193)
Given that we are now always compiling with gnu++11, we don't need
separate tests anymore.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 1ca15d50e..f474cb47d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -16,7 +16,6 @@ env: # via the "travis encrypt" command using the project repo's public key - secure: "fRfdzYwV10VeW5tVSvy5qpR8ZlkXepR7XWzCulzlHs9SRI2YY20BpzWRjyMBiGu2t7IeJKT7qdjq/CJOQEM8WS76ON7QJ1iymKaRDewDs3OhyPJ71fsFKEGgLky9blk7I9qZh23hnRVECj1oJAVry9IK04bc2zyIEjUYpjRkUAQ=" matrix: - - TRAVIS_CVC4=yes CXXFLAGS='-std=gnu++11' TRAVIS_CVC4_CONFIG='--enable-proof' - TRAVIS_CVC4=yes TRAVIS_CVC4_CHECK_PORTFOLIO=yes TRAVIS_CVC4_CONFIG='production --enable-language-bindings=java,c --enable-proof --with-portfolio' - TRAVIS_CVC4=yes TRAVIS_CVC4_CHECK_PORTFOLIO=yes TRAVIS_CVC4_CONFIG='debug --enable-language-bindings=java,c --enable-proof --with-portfolio' - TRAVIS_CVC4=yes TRAVIS_CVC4_CONFIG='--disable-proof' |