From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 3 Oct 2019 19:41:40 +0000 (-0700)
Subject: Travis: Reenable building and running of examples. (#3351)
X-Git-Tag: cvc5-1.0.0~3917
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=76ddd08e3805ca262d732ce78db165272ef0852e;p=cvc5.git

Travis: Reenable building and running of examples. (#3351)
---

diff --git a/.travis.yml b/.travis.yml
index 64dd17c75..505c69c54 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -57,21 +57,28 @@ script:
      exit 1;
    }
    makeCheck() {
-     cd build
-     make -j2 check ARGS='-LE regress[1-4]' CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED"
+     (
+       cd build
+       make -j2 check ARGS='-LE regress[1-4]' CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED"
+     )
    }
    makeExamples() {
-     cd examples
-     mkdir build
-     cd build
-     cmake .. -DCMAKE_PREFIX_PATH=$(pwd)/../../build/install/lib/cmake
-     ctest -j2 --output-on-failure || error "RUNNING EXAMPLES FAILED"
+     (
+       cd examples
+       mkdir build
+       cd build
+       cmake .. -DCMAKE_PREFIX_PATH=$(pwd)/../../build/install/lib/cmake
+       make -j2
+       ctest -j2 --output-on-failure || error "RUNNING EXAMPLES FAILED"
+     )
    }
    makeInstallCheck() {
-     cd build
-     make install -j2
-     echo -e "#include <cvc4/cvc4.h>\nint main() { CVC4::ExprManager em; return 0; }" > /tmp/test.cpp
-     $CXX -std=c++11 /tmp/test.cpp -I install/include -L install/lib -lcvc4 -lcln || exit 1
+     (
+       cd build
+       make install -j2
+       echo -e "#include <cvc4/cvc4.h>\nint main() { CVC4::ExprManager em; return 0; }" > /tmp/test.cpp
+       $CXX -std=c++11 /tmp/test.cpp -I install/include -L install/lib -lcvc4 -lcln || exit 1
+     )
    }
    run() {
      echo "travis_fold:start:$1"
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index 43f4109a3..893ea5c95 100644
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -2,6 +2,8 @@ cmake_minimum_required(VERSION 3.2)
 
 project(cvc4-examples)
 
+set(CMAKE_CXX_STANDARD 11)
+
 enable_testing()
 
 # Find CVC4 package. If CVC4 is not installed into the default system location