From 20d08cbef08993340d15855941fa7fe2c86d9f59 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Sun, 31 May 2020 15:45:20 +0200
Subject: fix building klee-cxxabi

Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
---
 scripts/build/p-klee.inc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts/build')

diff --git a/scripts/build/p-klee.inc b/scripts/build/p-klee.inc
index b6c4604c..9608fe89 100644
--- a/scripts/build/p-klee.inc
+++ b/scripts/build/p-klee.inc
@@ -53,6 +53,7 @@ if [ "${USE_LIBCXX}" -eq 1 ]; then
     "-DENABLE_KLEE_LIBCXX=TRUE"
     "-DKLEE_LIBCXX_DIR=${LIBCXX_INSTALL}"
     "-DKLEE_LIBCXX_INCLUDE_DIR=${LIBCXX_INSTALL}/include/c++/v1"
+    "-DKLEE_LIBCXXABI_SRC_DIR=${LIBCXX_SRC}/libcxxabi"
   )
 else
   CMAKE_ARGUMENTS+=(
-- 
cgit 1.4.1