From 335ad68564222ab9ea21f08e3e805342a3c46d06 Mon Sep 17 00:00:00 2001
From: hbruintjes <h.bruintjes@cs.rwth-aachen.de>
Date: Thu, 21 Apr 2016 16:44:01 +0200
Subject: [PATCH] Fix cudd autoreconf command

Former-commit-id: 9b301dc23fcdc6bf286ceaa6f9a2b2965ee7fe69
---
 resources/3rdparty/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index 2dea08528..9b30445f3 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -32,7 +32,7 @@ ExternalProject_Add(
     DOWNLOAD_COMMAND ""
     SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/cudd-3.0.0
     PREFIX ${CMAKE_CURRENT_BINARY_DIR}/cudd-3.0.0
-    UPDATE_COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/cudd-3.0.0/autoreconf
+    UPDATE_COMMAND autoreconf
     CONFIGURE_COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/cudd-3.0.0/configure  --enable-shared   --enable-obj --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