diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-10-03 20:09:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-03 20:09:14 +0100 |
| commit | 9dd7fb2e56338f891da916c68b8b69c7c2a91ed8 (patch) | |
| tree | 29c98da737709bd4197fdb86dafe7422533fd9b4 | |
| parent | 91f5fffbb423f669603f29c323ec635d263f666a (diff) | |
| parent | b24c543a35512c5a4c8bc6ed18fe3105f0ce4964 (diff) | |
| download | klee-9dd7fb2e56338f891da916c68b8b69c7c2a91ed8.tar.gz | |
Merge pull request #760 from delcypher/cmake_fixes
A few minor CMake fixes/tweaks
| -rw-r--r-- | CMakeLists.txt | 32 |
1 files changed, 21 insertions, 11 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 80e6b506..c61c2431 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -150,6 +150,18 @@ endif() list(APPEND CMAKE_MODULE_PATH "${CMAKE_SOURCE_DIR}/cmake/modules") ################################################################################ +# Compiler flags for KLEE components +# Subsequent commands will append to these. These are used instead of +# directly modifying CMAKE_CXX_FLAGS so that other code can be easily built with +# different flags. +################################################################################ +set(KLEE_COMPONENT_EXTRA_INCLUDE_DIRS "") +set(KLEE_COMPONENT_CXX_DEFINES "") +set(KLEE_COMPONENT_CXX_FLAGS "") +set(KLEE_SOLVER_LIBRARIES "") +set(KLEE_COMPONENT_EXTRA_LIBRARIES "") + +################################################################################ # Assertions ################################################################################ option(ENABLE_KLEE_ASSERTS "Enable KLEE assertions" ON) @@ -178,17 +190,6 @@ include("${CMAKE_SOURCE_DIR}/cmake/string_to_list.cmake") include("${CMAKE_SOURCE_DIR}/cmake/klee_component_add_cxx_flag.cmake") include("${CMAKE_SOURCE_DIR}/cmake/add_global_flag.cmake") -################################################################################ -# Compiler flags for KLEE components -# Subsequent commands will append to these. These are used instead of -# directly modifying CMAKE_CXX_FLAGS so that other code can be easily built with -# different flags. -################################################################################ -set(KLEE_COMPONENT_EXTRA_INCLUDE_DIRS "") -set(KLEE_COMPONENT_CXX_DEFINES "") -set(KLEE_COMPONENT_CXX_FLAGS "") -set(KLEE_SOLVER_LIBRARIES "") -set(KLEE_COMPONENT_EXTRA_LIBRARIES "") ################################################################################ # Find LLVM @@ -620,6 +621,15 @@ set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib) set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib) set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin) + +################################################################################ +# Report the value of various variables to aid debugging +################################################################################ +message(STATUS "KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '${KLEE_COMPONENT_EXTRA_INCLUDE_DIRS}'") +message(STATUS "KLEE_COMPONENT_CXX_DEFINES: '${KLEE_COMPONENT_CXX_DEFINES}'") +message(STATUS "KLEE_COMPONENT_CXX_FLAGS: '${KLEE_COMPONENT_CXX_FLAGS}'") +message(STATUS "KLEE_COMPONENT_EXTRA_LIBRARIES: '${KLEE_COMPONENT_EXTRA_LIBRARIES}'") + ################################################################################ # KLEE components ################################################################################ |