use dynamic version of cudd

Former-commit-id: 5e3a12fdca
9 years ago · a46ab2f631
1 changed files with 1 additions and 1 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -438,7 +438,7 @@ endif()

 message("${CUDD3_INCLUDE_DIR}")
 include_directories(${CUDD3_INCLUDE_DIR})
-list(APPEND STORM_LINK_LIBRARIES ${CUDD3_STATIC_LIBRARIES})
+list(APPEND STORM_LINK_LIBRARIES ${CUDD3_SHARED_LIBRARIES})

 #############################################################
 ##