From c2ec3c73777279b559cd1ae89943595ec61d97e7 Mon Sep 17 00:00:00 2001 From: dehnert Date: Wed, 3 Aug 2016 10:26:42 +0200 Subject: [PATCH] changed cmake UPDATE_COMMAND to PATCH_COMMAND as this avoids rebuilds by Xcode Former-commit-id: 2f3cdafcb22a118145c9a1c90683f374d6eba946 --- resources/3rdparty/include_cudd.cmake | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/resources/3rdparty/include_cudd.cmake b/resources/3rdparty/include_cudd.cmake index d63e855d3..f8830d64c 100644 --- a/resources/3rdparty/include_cudd.cmake +++ b/resources/3rdparty/include_cudd.cmake @@ -8,7 +8,7 @@ ExternalProject_Add( DOWNLOAD_COMMAND "" SOURCE_DIR ${STORM_3RDPARTY_SOURCE_DIR}/cudd-3.0.0 PREFIX ${STORM_3RDPARTY_BINARY_DIR}/cudd-3.0.0 - UPDATE_COMMAND ${AUTORECONF} + PATCH_COMMAND ${AUTORECONF} CONFIGURE_COMMAND ${STORM_3RDPARTY_SOURCE_DIR}/cudd-3.0.0/configure --enable-shared --enable-obj --prefix=${STORM_3RDPARTY_BINARY_DIR}/cudd-3.0.0 --libdir=${STORM_3RDPARTY_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 @@ -28,4 +28,4 @@ add_dependencies(resources cudd3) message(STATUS "StoRM - Linking with CUDD ${CUDD_VERSION_STRING}") #message("StoRM - CUDD include dir: ${CUDD_INCLUDE_DIR}") -include_directories(${CUDD_INCLUDE_DIR}) \ No newline at end of file +include_directories(${CUDD_INCLUDE_DIR})