From 4c0d7f6d95429dfa97e90d424776f24857fd320f Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Tue, 30 Apr 2013 11:09:00 +0200
Subject: [PATCH] adding cudd linker options for storm-tests

---
 CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ba522f0e6..6eaa1c632 100644
--- 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)