From bdc30e5427e9fa4a6fc7c8e0c21ededa8ec8c6a4 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Mon, 30 Oct 2023 12:03:22 +0000 Subject: Explicitly build KLEE's exception handling runtime with C++11 Currently, we assume C++11 support being used to by the tested software. This needs to change if newer C++ standards should be supported. --- runtime/klee-eh-cxx/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/runtime/klee-eh-cxx/CMakeLists.txt b/runtime/klee-eh-cxx/CMakeLists.txt index 470e3f0a..b51b8544 100644 --- a/runtime/klee-eh-cxx/CMakeLists.txt +++ b/runtime/klee-eh-cxx/CMakeLists.txt @@ -17,6 +17,7 @@ set(ADDITIONAL_CXX_FLAGS -I "${KLEE_LIBCXXABI_SRC_DIR}/src" -I "${KLEE_LIBCXXABI_SRC_DIR}/include" -I "${KLEE_LIBCXX_INCLUDE_PATH}" + -std=c++11 ) if (KLEE_LIBCXX_PLATFORM_INCLUDE_PATH) -- cgit 1.4.1