From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Sat, 15 Jul 2017 02:37:27 +0000 (-0400)
Subject: Disable separate gnu++11 tests on Travis (#193)
X-Git-Tag: cvc5-1.0.0~5720
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=151df601b2677afd2baa31fd3e9ec01eea29bec2;p=cvc5.git

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.
---

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'