From 114f46d29988012f8a6e8b97f2e64c9a1ff09697 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 17 Feb 2016 15:24:45 +0100
Subject: [PATCH] added cudd3 to cmake

Former-commit-id: 6298216603d286a6fe45ca3061c3543e96aa537d
---
 resources/3rdparty/CMakeLists.txt | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index 2e3d96146..61115991b 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -33,6 +33,19 @@ ExternalProject_Add(
 add_dependencies(resources glpk)
 
 
+ExternalProject_Add(
+    cudd3
+    DOWNLOAD_COMMAND ""
+    SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/cudd-3.0.0
+    PREFIX ${CMAKE_CURRENT_BINARY_DIR}/cudd-3.0.0
+    CONFIGURE_COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/cudd-3.0.0/configure  --enable-shared --prefix=${CMAKE_CURRENT_BINARY_DIR}/cudd-3.0.0 --libdir=${CMAKE_CURRENT_BINARY_DIR}/cudd-3.0.0/lib CC=${CMAKE_C_COMPILER} CXX=${CMAKE_CXX_COMPILER}
+    BUILD_COMMAND make "CFLAGS=-O2 -w"
+    INSTALL_COMMAND make install
+    BUILD_IN_SOURCE 0
+)
+add_dependencies(resources cudd3)
+
+
 ExternalProject_Add(
         googletest
         #For downloads (may be useful later!)