From 89c7f56eb901a30845867cfb2dfccf1518935117 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Tue, 30 Aug 2016 21:31:59 -0700
Subject: [PATCH] Adding a gnu++11 rule to travis.

---
 .travis.yml | 6 ++++--
 1 file 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;
-- 
2.30.2