From 0e6db25188fbb02823f6c48a5621d2cd9339b79c Mon Sep 17 00:00:00 2001 From: sjunges Date: Tue, 19 Jul 2016 10:38:03 +0200 Subject: [PATCH 1/2] fix in STORM_USE_CLN_NUMBERS Former-commit-id: 5e11e5d4c5f663f2155a77728a8925acb3ddc154 --- CMakeLists.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index ccaf5ed83..72215d7e3 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -360,9 +360,11 @@ include_directories(${CUDD_INCLUDE_DIR}) find_package(CLN QUIET) + +set(STORM_USE_CLN_NUMBERS OFF) if(CLN_FOUND) set(STORM_HAVE_CLN ON) - set(STORM_USE_CLN_NUMBERS ON) + set(STORM_USE_CLN_NUMBERS OFF) message(STATUS "StoRM - Linking with CLN ${CLN_VERSION_STRING}") include_directories("${CLN_INCLUDE_DIR}") list(APPEND STORM_LINK_LIBRARIES ${CLN_LIBRARIES}) From 0ed499a47f06771f445122e67490dea0029c9e05 Mon Sep 17 00:00:00 2001 From: sjunges Date: Tue, 19 Jul 2016 10:49:12 +0200 Subject: [PATCH 2/2] use cln Former-commit-id: f84ad5842f6f515dc53fee198fb3394a1ccaa6c6 --- CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 72215d7e3..0c564cf61 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -354,7 +354,7 @@ include_directories(${CUDD_INCLUDE_DIR}) ############################################################# ## -## CLN +## CLN ## ############################################################# @@ -364,7 +364,7 @@ find_package(CLN QUIET) set(STORM_USE_CLN_NUMBERS OFF) if(CLN_FOUND) set(STORM_HAVE_CLN ON) - set(STORM_USE_CLN_NUMBERS OFF) + set(STORM_USE_CLN_NUMBERS ON) message(STATUS "StoRM - Linking with CLN ${CLN_VERSION_STRING}") include_directories("${CLN_INCLUDE_DIR}") list(APPEND STORM_LINK_LIBRARIES ${CLN_LIBRARIES})