From 9dcbd69c09afc1a1f7dd38d1068aaf6d76afbc09 Mon Sep 17 00:00:00 2001 From: TimQu Date: Mon, 25 Mar 2019 09:08:45 +0100 Subject: [PATCH] CMake: Added a comment why we link statically against mathsat on macOS. --- resources/3rdparty/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt index d04d0fc77..5fc6d8275 100644 --- a/resources/3rdparty/CMakeLists.txt +++ b/resources/3rdparty/CMakeLists.txt @@ -413,6 +413,8 @@ if (ENABLE_MSAT) add_imported_library(msat SHARED ${MSAT_LIB} "${MSAT_ROOT}/include") list(APPEND STORM_DEP_TARGETS msat_SHARED) else() + # on macOS, the .dylib file has some hard coded path (Version 5.5.4). + # we thus link statically find_library(MSAT_LIB NAMES libmathsat${STATIC_EXT} mathsat PATHS "${MSAT_ROOT}/lib") add_imported_library(msat STATIC ${MSAT_LIB} "${MSAT_ROOT}/include") list(APPEND STORM_DEP_TARGETS msat_STATIC)