From 3008546623c6d039b2063e12da225a95a13bf3c5 Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 17 Feb 2016 19:02:49 +0100 Subject: [PATCH] to prevent confusion, explicitely force static builds for cudd 2.5.0 Former-commit-id: a41fc373f86d2735f7989fa2214b3e6405c84c42 --- resources/3rdparty/cudd-2.5.0/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/3rdparty/cudd-2.5.0/CMakeLists.txt b/resources/3rdparty/cudd-2.5.0/CMakeLists.txt index 5df298c34..27bff3ed9 100644 --- a/resources/3rdparty/cudd-2.5.0/CMakeLists.txt +++ b/resources/3rdparty/cudd-2.5.0/CMakeLists.txt @@ -39,4 +39,4 @@ if(CMAKE_SIZEOF_VOID_P EQUAL 8) endif() # Add the library -add_library(cudd ${CUDD_SOURCES} ${CUDD_HEADERS} ${CUDD_HEADERS_CXX} ${CUDD_SOURCES_CXX}) \ No newline at end of file +add_library(cudd STATIC ${CUDD_SOURCES} ${CUDD_HEADERS} ${CUDD_HEADERS_CXX} ${CUDD_SOURCES_CXX}) \ No newline at end of file