Matthias Volk
4 years ago
No known key found for this signature in database
GPG Key ID: 83A57678F739FCD3
1 changed files with
5 additions and
1 deletions
-
resources/3rdparty/CMakeLists.txt
|
|
@ -347,7 +347,11 @@ if (STORM_SHIPPED_CARL) |
|
|
message(STATUS "Storm - Linking with shipped carl ${carl_VERSION} (include: ${carl_INCLUDE_DIR}, library ${carl_LIBRARIES}, CARL_USE_CLN_NUMBERS: ${CARL_USE_CLN_NUMBERS}, CARL_USE_GINAC: ${CARL_USE_GINAC}).") |
|
|
message(STATUS "Storm - Linking with shipped carl ${carl_VERSION} (include: ${carl_INCLUDE_DIR}, library ${carl_LIBRARIES}, CARL_USE_CLN_NUMBERS: ${CARL_USE_CLN_NUMBERS}, CARL_USE_GINAC: ${CARL_USE_GINAC}).") |
|
|
|
|
|
|
|
|
# install the carl dynamic library if we built it |
|
|
# install the carl dynamic library if we built it |
|
|
install(FILES ${STORM_3RDPARTY_BINARY_DIR}/carl/lib/libcarl.${carl_VERSION}${DYNAMIC_EXT} DESTINATION lib) |
|
|
|
|
|
|
|
|
if(MACOSX) |
|
|
|
|
|
install(FILES ${STORM_3RDPARTY_BINARY_DIR}/carl/lib/libcarl.${carl_VERSION}${DYNAMIC_EXT} DESTINATION lib) |
|
|
|
|
|
else() |
|
|
|
|
|
install(FILES ${STORM_3RDPARTY_BINARY_DIR}/carl/lib/libcarl${DYNAMIC_EXT}.${carl_VERSION} DESTINATION lib) |
|
|
|
|
|
endif() |
|
|
endif() |
|
|
endif() |
|
|
|
|
|
|
|
|
if(STORM_USE_CLN_RF AND NOT STORM_HAVE_CLN) |
|
|
if(STORM_USE_CLN_RF AND NOT STORM_HAVE_CLN) |
|
|
|
