From e0379b9c50668e1dc565f2b2b989dfd2e8d20965 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 24 Feb 2016 22:25:15 +0100
Subject: [PATCH] Log CUDD build process

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

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index fadcbd3f6..d62f72f95 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -32,6 +32,8 @@ ExternalProject_Add(
 )
 add_dependencies(resources glpk)
 
+set(GLPK_LIBRARIES  ${CMAKE_BINARY_DIR}/resources/3rdparty/glpk-4.57/lib/libglpk${DYNAMIC_EXT} PARENT_SCOPE)
+set(GLPK_INCLUDE_DIR ${CMAKE_BINARY_DIR}/resources/3rdparty/glpk-4.57/include PARENT_SCOPE)
 
 ExternalProject_Add(
     cudd3
@@ -42,6 +44,9 @@ ExternalProject_Add(
     BUILD_COMMAND make "CFLAGS=-O2 -w"
     INSTALL_COMMAND make install
     BUILD_IN_SOURCE 0
+    LOG_CONFIGURE ON
+    LOG_BUILD ON
+    LOG_INSTALL ON
 )
 add_dependencies(resources cudd3)