From faafff06d8e5a4fc695d7793e09e3ebe59b7d60a Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 17 Feb 2016 15:25:30 +0100 Subject: [PATCH] removed cudd 2.5 from cmake Former-commit-id: 05c3239893da75d28d8dc66b12f71a2e9f87d54d --- CMakeLists.txt | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index a0e325669..b81c8e437 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -433,18 +433,6 @@ endif() ## CUDD ## ############################################################# -add_subdirectory("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0") -include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/cudd") -include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/epd") -include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/mtr") -include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/nanotrav") -include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/obj") -include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/st") -include_directories("${PROJECT_SOURCE_DIR}/resources/3rdparty/cudd-2.5.0/src/util") -list(APPEND STORM_LINK_LIBRARIES cudd) - - - #############################################################