From 9c445a83bc03ca4a0335e98704feee44183831a6 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Fri, 4 Sep 2020 22:04:57 +0200
Subject: Exception handling only for LLVM >= 8.0.0

---
 scripts/build/p-klee.inc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'scripts')

diff --git a/scripts/build/p-klee.inc b/scripts/build/p-klee.inc
index 9608fe89..34b73338 100644
--- a/scripts/build/p-klee.inc
+++ b/scripts/build/p-klee.inc
@@ -55,6 +55,8 @@ if [ "${USE_LIBCXX}" -eq 1 ]; then
     "-DKLEE_LIBCXX_INCLUDE_DIR=${LIBCXX_INSTALL}/include/c++/v1"
     "-DKLEE_LIBCXXABI_SRC_DIR=${LIBCXX_SRC}/libcxxabi"
   )
+  local LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}"
+  [[ "${LLVM_VERSION_MAJOR}" -ge 8 ]] && CMAKE_ARGUMENTS+=("-DENABLE_KLEE_EH_CXX=TRUE")
 else
   CMAKE_ARGUMENTS+=(
     "-DENABLE_KLEE_LIBCXX=FALSE"
-- 
cgit 1.4.1