adding cudd linker options for storm-tests

12 years ago · 4c0d7f6d95
1 changed files with 1 additions and 0 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -225,6 +225,7 @@ endif(LOG4CPLUS_INCLUDE_DIR)

 if (CUDD_LIBRARY_DIRS)
    target_link_libraries(storm "-lobj -lcudd -lmtr -lst -lutil -lepd")
+    target_link_libraries(storm-tests "-lobj -lcudd -lmtr -lst -lutil -lepd")
 endif(CUDD_LIBRARY_DIRS)

 if (THREADS_FOUND)