|
@ -278,13 +278,13 @@ else() |
|
|
message (STATUS "StoRM - Using shipped version of GLPK") |
|
|
message (STATUS "StoRM - Using shipped version of GLPK") |
|
|
set(GLPK_LIBRARIES ${CMAKE_BINARY_DIR}/resources/3rdparty/glpk-4.57/lib/libglpk${DYNAMIC_EXT}) |
|
|
set(GLPK_LIBRARIES ${CMAKE_BINARY_DIR}/resources/3rdparty/glpk-4.57/lib/libglpk${DYNAMIC_EXT}) |
|
|
set(GLPK_INCLUDE_DIR ${CMAKE_BINARY_DIR}/resources/3rdparty/glpk-4.57/include) |
|
|
set(GLPK_INCLUDE_DIR ${CMAKE_BINARY_DIR}/resources/3rdparty/glpk-4.57/include) |
|
|
|
|
|
|
|
|
|
|
|
set(GLPK_VERSION_STRING 4.57) |
|
|
add_dependencies(resources glpk) |
|
|
add_dependencies(resources glpk) |
|
|
endif() |
|
|
endif() |
|
|
|
|
|
|
|
|
# Since there is a shipped version, always use GLPK |
|
|
# Since there is a shipped version, always use GLPK |
|
|
set(STORM_HAVE_GLPK ON) |
|
|
set(STORM_HAVE_GLPK ON) |
|
|
message (STATUS "StoRM - Linking with glpk") |
|
|
|
|
|
|
|
|
message (STATUS "StoRM - Linking with glpk ${GLPK_VERSION_STRING}") |
|
|
include_directories(${GLPK_INCLUDE_DIR}) |
|
|
include_directories(${GLPK_INCLUDE_DIR}) |
|
|
list(APPEND STORM_LINK_LIBRARIES ${GLPK_LIBRARIES}) |
|
|
list(APPEND STORM_LINK_LIBRARIES ${GLPK_LIBRARIES}) |
|
|
|
|
|
|
|
@ -319,10 +319,11 @@ endif() |
|
|
set(CUDD_INCLUDE_DIR ${CMAKE_BINARY_DIR}/resources/3rdparty/cudd-3.0.0/include) |
|
|
set(CUDD_INCLUDE_DIR ${CMAKE_BINARY_DIR}/resources/3rdparty/cudd-3.0.0/include) |
|
|
set(CUDD_SHARED_LIBRARY ${CMAKE_BINARY_DIR}/resources/3rdparty/cudd-3.0.0/lib/libcudd${DYNAMIC_EXT}) |
|
|
set(CUDD_SHARED_LIBRARY ${CMAKE_BINARY_DIR}/resources/3rdparty/cudd-3.0.0/lib/libcudd${DYNAMIC_EXT}) |
|
|
set(CUDD_STATIC_LIBRARY ${CMAKE_BINARY_DIR}/resources/3rdparty/cudd-3.0.0/lib/libcudd${STATIC_EXT}) |
|
|
set(CUDD_STATIC_LIBRARY ${CMAKE_BINARY_DIR}/resources/3rdparty/cudd-3.0.0/lib/libcudd${STATIC_EXT}) |
|
|
|
|
|
set(CUDD_VERSION_STRING 3.0.0) |
|
|
list(APPEND STORM_LINK_LIBRARIES ${CUDD_SHARED_LIBRARY}) |
|
|
list(APPEND STORM_LINK_LIBRARIES ${CUDD_SHARED_LIBRARY}) |
|
|
add_dependencies(resources cudd3) |
|
|
add_dependencies(resources cudd3) |
|
|
|
|
|
|
|
|
message(STATUS "StoRM - Linking with CUDD") |
|
|
|
|
|
|
|
|
message(STATUS "StoRM - Linking with CUDD ${CUDD_VERSION_STRING}") |
|
|
#message("StoRM - CUDD include dir: ${CUDD_INCLUDE_DIR}") |
|
|
#message("StoRM - CUDD include dir: ${CUDD_INCLUDE_DIR}") |
|
|
include_directories(${CUDD_INCLUDE_DIR}) |
|
|
include_directories(${CUDD_INCLUDE_DIR}) |
|
|
|
|
|
|
|
@ -336,7 +337,7 @@ find_package(CLN QUIET) |
|
|
|
|
|
|
|
|
if(CLN_FOUND) |
|
|
if(CLN_FOUND) |
|
|
set(STORM_HAVE_CLN ON) |
|
|
set(STORM_HAVE_CLN ON) |
|
|
message(STATUS "StoRM - Linking with CLN") |
|
|
|
|
|
|
|
|
message(STATUS "StoRM - Linking with CLN ${CLN_VERSION_STRING}") |
|
|
include_directories("${CLN_INCLUDE_DIR}") |
|
|
include_directories("${CLN_INCLUDE_DIR}") |
|
|
list(APPEND STORM_LINK_LIBRARIES ${CLN_LIBRARIES}) |
|
|
list(APPEND STORM_LINK_LIBRARIES ${CLN_LIBRARIES}) |
|
|
else() |
|
|
else() |
|
@ -357,7 +358,7 @@ if(USE_CARL) |
|
|
find_package(carl QUIET REQUIRED) |
|
|
find_package(carl QUIET REQUIRED) |
|
|
if(carl_FOUND) |
|
|
if(carl_FOUND) |
|
|
set(STORM_HAVE_CARL ON) |
|
|
set(STORM_HAVE_CARL ON) |
|
|
message(STATUS "StoRM - Linking with carl") |
|
|
|
|
|
|
|
|
message(STATUS "StoRM - Linking with carl ${carl_VERSION_STRING}") |
|
|
include_directories("${carl_INCLUDE_DIR}") |
|
|
include_directories("${carl_INCLUDE_DIR}") |
|
|
list(APPEND STORM_LINK_LIBRARIES ${carl_LIBRARIES}) |
|
|
list(APPEND STORM_LINK_LIBRARIES ${carl_LIBRARIES}) |
|
|
else() |
|
|
else() |
|
@ -391,9 +392,9 @@ endif() |
|
|
|
|
|
|
|
|
find_package(GiNaC QUIET) |
|
|
find_package(GiNaC QUIET) |
|
|
|
|
|
|
|
|
if(GiNaC_FOUND) |
|
|
|
|
|
|
|
|
if(GINAC_FOUND) |
|
|
set(STORM_HAVE_GINAC ON) |
|
|
set(STORM_HAVE_GINAC ON) |
|
|
message(STATUS "StoRM - Linking with GiNaC") |
|
|
|
|
|
|
|
|
message(STATUS "StoRM - Linking with GiNaC ${GINAC_VERSION_STRING}") |
|
|
# Right now only link with GiNaC for carl |
|
|
# Right now only link with GiNaC for carl |
|
|
#include_directories("${GINAC_INCLUDE_DIR}") |
|
|
#include_directories("${GINAC_INCLUDE_DIR}") |
|
|
list(APPEND STORM_LINK_LIBRARIES ${GINAC_LIBRARIES}) |
|
|
list(APPEND STORM_LINK_LIBRARIES ${GINAC_LIBRARIES}) |
|
@ -473,7 +474,7 @@ add_dependencies(resources sylvan) |
|
|
if(${OPERATING_SYSTEM} MATCHES "Linux") |
|
|
if(${OPERATING_SYSTEM} MATCHES "Linux") |
|
|
find_package(Hwloc QUIET REQUIRED) |
|
|
find_package(Hwloc QUIET REQUIRED) |
|
|
if(Hwloc_FOUND) |
|
|
if(Hwloc_FOUND) |
|
|
message(STATUS "StoRM - Linking with hwloc") |
|
|
|
|
|
|
|
|
message(STATUS "StoRM - Linking with hwloc ${Hwloc_VERSION}") |
|
|
list(APPEND STORM_LINK_LIBRARIES ${Hwloc_LIBRARIES}) |
|
|
list(APPEND STORM_LINK_LIBRARIES ${Hwloc_LIBRARIES}) |
|
|
else() |
|
|
else() |
|
|
message(FATAL_ERROR "HWLOC is required but was not found.") |
|
|
message(FATAL_ERROR "HWLOC is required but was not found.") |
|
|