diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-07-26 15:42:10 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-07-30 14:49:24 +0100 |
| commit | a179130b17686c85caed1853a822ecd1bd4d7d11 (patch) | |
| tree | c6ba9edbb402be2362d6da5163ac4b948ab4c1da | |
| parent | 2d6a5dd67f2fdc346e7ccba55643db30ecfd3a82 (diff) | |
| download | klee-a179130b17686c85caed1853a822ecd1bd4d7d11.tar.gz | |
CMake: show values of optional LLVM variables
| -rw-r--r-- | CMakeLists.txt | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index ebcbe6f6..313167fc 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -229,6 +229,15 @@ foreach (vname ${NEEDED_LLVM_VARS}) endif() endforeach() +set(OPTIONAL_LLVM_VARS + LLVM_BUILD_MAIN_SRC_DIR +) +foreach (vname ${OPTIONAL_LLVM_VARS}) + if (${vname}) + message(STATUS "${vname}: \"${${vname}}\"") + endif() +endforeach() + if (LLVM_ENABLE_ASSERTIONS) # Certain LLVM debugging macros only work when LLVM was built with asserts set(ENABLE_KLEE_DEBUG 1) # for config.h @@ -690,7 +699,7 @@ endif() ################################################################################ # Sanitizer support ################################################################################ -message(STATUS "${CMAKE_CXX_FLAGS}") +message(STATUS "CMAKE_CXX_FLAGS: ${CMAKE_CXX_FLAGS}") set(IS_ASAN_BUILD 0) set(IS_UBSAN_BUILD 0) set(IS_MSAN_BUILD 0) |