From: Tim King <taking@google.com>
Date: Wed, 31 Aug 2016 04:31:59 +0000 (-0700)
Subject: Adding a gnu++11 rule to travis.
X-Git-Tag: cvc5-1.0.0~6028^2~40^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=89c7f56eb901a30845867cfb2dfccf1518935117;p=cvc5.git

Adding a gnu++11 rule to travis.
---

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;