diff options
| -rw-r--r-- | CMakeLists.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 6019e428..efe7fdd9 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -144,6 +144,9 @@ else() endif() +# Reference specific library paths used during linking for install +SET(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE) + ################################################################################ # Add our CMake module directory to the list of module search directories ################################################################################ @@ -161,6 +164,7 @@ set(KLEE_COMPONENT_CXX_FLAGS "") set(KLEE_SOLVER_LIBRARIES "") set(KLEE_COMPONENT_EXTRA_LIBRARIES "") + ################################################################################ # Assertions ################################################################################ @@ -640,6 +644,7 @@ message(STATUS "KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '${KLEE_COMPONENT_EXTRA_INCLU 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}'") +message(STATUS "KLEE_SOLVER_LIBRARIES: '${KLEE_SOLVER_LIBRARIES}'") ################################################################################ # KLEE components |