diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2019-10-03 12:41:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-03 12:41:40 -0700 |
| commit | 76ddd08e3805ca262d732ce78db165272ef0852e (patch) | |
| tree | 9ead024a7cc2c800f5f50c9447e2ba377068d2fb /examples/CMakeLists.txt | |
| parent | 24ad028cdd3f72b5c9123e9718c63e7613e0a841 (diff) | |
Travis: Reenable building and running of examples. (#3351)
Diffstat (limited to 'examples/CMakeLists.txt')
| -rw-r--r-- | examples/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
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 |