diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2020-05-31 15:45:20 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-10-12 11:19:24 +0100 |
| commit | 20d08cbef08993340d15855941fa7fe2c86d9f59 (patch) | |
| tree | 2f76f2c19864b206a794f4df9090ef5689e6acad /CMakeLists.txt | |
| parent | c6aa4ab021669fe7102288d294662751a4d4b1e6 (diff) | |
| download | klee-20d08cbef08993340d15855941fa7fe2c86d9f59.tar.gz | |
fix building klee-cxxabi
Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 8aaae43b..916c2d74 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -647,17 +647,19 @@ if (ENABLE_KLEE_LIBCXX) "${KLEE_LIBCXX_PATH} does not exist. Try passing -DKLEE_LIBCXX_DIR=<path>") endif() - if (NOT IS_DIRECTORY "${KLEE_LIBCXX_INCLUDE_DIR}") + set(KLEE_LIBCXX_INCLUDE_DIR "" CACHE PATH "Path to libcxx include directory") + if (NOT EXISTS "${KLEE_LIBCXX_INCLUDE_DIR}") message(FATAL_ERROR "${KLEE_LIBCXX_INCLUDE_DIR} does not exist. Try passing -DKLEE_LIBCXX_INCLUDE_DIR=<path>") endif() message(STATUS "Use libc++ include path: \"${KLEE_LIBCXX_INCLUDE_DIR}\"") - if (NOT IS_DIRECTORY "${KLEE_LIBCXXABI_DIR}") + set(KLEE_LIBCXXABI_SRC_DIR "" CACHE PATH "Path to libcxxabi source directory") + if (NOT EXISTS "${KLEE_LIBCXXABI_SRC_DIR}") message(FATAL_ERROR - "${KLEE_LIBCXXABI_DIR} does not exist. Try passing -DKLEE_LIBCXXABI_DIR=<path>") + "${KLEE_LIBCXXABI_SRC_DIR} does not exist. Try passing -DKLEE_LIBCXXABI_SRC_DIR=<path>") endif() - message(STATUS "Use libc++abi path: \"${KLEE_LIBCXXABI_DIR}\"") + message(STATUS "Use libc++abi source path: \"${KLEE_LIBCXXABI_SRC_DIR}\"") # Find the library bitcode archive @@ -679,7 +681,7 @@ if (ENABLE_KLEE_LIBCXX) endif() message(STATUS "Found libc++ library: \"${KLEE_LIBCXX_BC_PATH}\"") - # Make a symlink to KLEE_LIBCXX_EXTERNAL_OBJECT so KLEE can find it where it + # Make a symlink to KLEE_LIBCXX_BC_PATH so KLEE can find it where it # is expected. file(MAKE_DIRECTORY "${KLEE_RUNTIME_DIRECTORY}") execute_process(COMMAND ${CMAKE_COMMAND} -E create_symlink |