From bfb5db0ff25740a619071d45d3b7186d0d4c08b5 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Tue, 12 Jun 2018 13:29:31 +0100
Subject: Link dynamic libraries with specific paths instead of resolving them
 during runtime

---
 CMakeLists.txt | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
cgit 1.4.1