From 8973c188568d6306efc46b41cc142152b9ad9a5b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 25 Nov 2019 09:54:23 -0800 Subject: [PATCH] require c++11 on TPTP #2738 Signed-off-by: Nikolaj Bjorner --- examples/tptp/CMakeLists.txt | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/examples/tptp/CMakeLists.txt b/examples/tptp/CMakeLists.txt index 0050c01a2..d513b0205 100644 --- a/examples/tptp/CMakeLists.txt +++ b/examples/tptp/CMakeLists.txt @@ -13,6 +13,13 @@ find_package(Z3 # use this option. NO_DEFAULT_PATH ) + +################################################################################ +# Z3 C++ API bindings require C++11 +################################################################################ +set(CMAKE_CXX_STANDARD 11) +set(CMAKE_CXX_STANDARD_REQUIRED ON) + message(STATUS "Z3_FOUND: ${Z3_FOUND}") message(STATUS "Found Z3 ${Z3_VERSION_STRING}") message(STATUS "Z3_DIR: ${Z3_DIR}")