Update CMakeLists.txt

CMakeLists.txt

@@ -139,22 +139,23 @@ set(SVF_LIB SvfLLVM SvfCore)
 
 # Find Z3 and its include directory from the top-level include file
 find_library(
-        Z3_LIBRARIES
-        REQUIRED
-        NAMES z3
-        HINTS ${Z3_DIR} ENV Z3_DIR
-        PATH_SUFFIXES bin lib)
+  Z3_LIBRARIES
+  REQUIRED
+  NAMES z3
+  HINTS ${Z3_DIR} ENV Z3_DIR
+  PATH_SUFFIXES bin lib)
 find_path(
-        Z3_INCLUDES
-        REQUIRED
-        NAMES z3++.h
-        HINTS ${Z3_DIR} ENV Z3_DIR
-        PATH_SUFFIXES include z3)
+  Z3_INCLUDES
+  REQUIRED
+  NAMES z3++.h
+  HINTS ${Z3_DIR} ENV Z3_DIR
+  PATH_SUFFIXES include z3)
 message(STATUS "Z3 STATUS:
   Z3 library file:        ${Z3_LIBRARIES}
   Z3 include directory:   ${Z3_INCLUDES}")
 
-# Add the Z3 include directory and link the Z3 library to all targets
+# Add the Z3 include directory and link the Z3 library to all targets of SVF
+set(CMAKE_INSTALL_RPATH ${Z3_INCLUDES})
 link_libraries(${Z3_LIBRARIES})
 include_directories(SYSTEM ${Z3_INCLUDES})