fix in STORM_USE_CLN_NUMBERS

Former-commit-id: 5e11e5d4c5
8 years ago · 0e6db25188
1 changed files with 3 additions and 1 deletions
--- 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})