From f27b748ba2be259177aa672e4d5fc39d36479c7f Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 12 Oct 2023 10:28:42 +0100 Subject: Add support for newer `libc++`; Simplify path detection `libc++` include headers are now split between platform dependent and platform independent code. Before, only include files for the platform independent code were considered. Add support to automatically find platform dependent includes as well. Simplify the detection of libraries and paths. Instead of pointing to the `v1` directory, pointing to the include directory for `-DKLEE_LIBCXX_INCLUDE_PATH` is enough. Update build script to support this as well. --- scripts/build/p-klee.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts/build') diff --git a/scripts/build/p-klee.inc b/scripts/build/p-klee.inc index 82dedeaa..b7384b91 100644 --- a/scripts/build/p-klee.inc +++ b/scripts/build/p-klee.inc @@ -49,7 +49,7 @@ if [ "${USE_LIBCXX}" -eq 1 ]; then CMAKE_ARGUMENTS+=( "-DENABLE_KLEE_LIBCXX=TRUE" "-DKLEE_LIBCXX_DIR=${LIBCXX_INSTALL}" - "-DKLEE_LIBCXX_INCLUDE_DIR=${LIBCXX_INSTALL}/include/c++/v1" + "-DKLEE_LIBCXX_INCLUDE_DIR=${LIBCXX_INSTALL}/include/" "-DENABLE_KLEE_EH_CXX=TRUE" "-DKLEE_LIBCXXABI_SRC_DIR=${LIBCXX_SRC}/libcxxabi" ) -- cgit 1.4.1