set build RPATH so we can find z3 in non-standard locations
MODIFY
CMakeLists.txt
CMakeLists.txt
@@ -9,6 +9,9 @@ endif()
message(STATUS "Build type: ${CMAKE_BUILD_TYPE}")
+set(CMAKE_INSTALL_RPATH_USE_LINK_PATH ON)
+set(CMAKE_BUILD_WITH_INSTALL_RPATH ON)
+
if (MSVC)
set(CMAKE_CXX_FLAGS "/GL /EHsc /W2 ${CMAKE_CXX_FLAGS}")
set(CMAKE_CXX_FLAGS_DEBUG "/Od /Zi ${CMAKE_CXX_FLAGS_DEBUG}")

set build RPATH so we can find z3 in non-standard locations (#409)