cudd-3.0.0-postconfig.patch

needed when doxygen is found

Author: rurban

CMakeLists.txt

@@ -122,8 +122,11 @@ if(DEFINED CMAKE_USE_CUDD)
 
     if(NOT EXISTS ${cudd_SOURCE_DIR}/Makefile)
         message(STATUS "Configuring Cudd-3.0.0")
-        execute_process(COMMAND ./configure WORKING_DIRECTORY ${cudd_SOURCE_DIR})
+        execute_process(COMMAND ./configure HAVE_DOXYGEN=FALSE WORKING_DIRECTORY ${cudd_SOURCE_DIR})
     endif()
+    message(STATUS "Patching Cudd-3.0.0")
+    execute_process(COMMAND patch -N -p0 -i ${CMAKE_CURRENT_SOURCE_DIR}/scripts/cudd-3.0.0-postconfig.patch
+                    WORKING_DIRECTORY ${cudd_SOURCE_DIR})
     message(STATUS "Building Cudd-3.0.0")
     execute_process(COMMAND make WORKING_DIRECTORY ${cudd_SOURCE_DIR})
 

scripts/cudd-3.0.0-postconfig.patch

@@ -0,0 +1,15 @@
+--- config.status~	2024-10-31 10:58:14.082473342 +0100
++++ config.status	2024-10-31 10:59:32.373999679 +0100
+@@ -891,9 +891,9 @@
+ S["HAVE_PDFLATEX_TRUE"]=""
+ S["MAKEINDEX"]="makeindex"
+ S["PDFLATEX"]="pdflatex"
+-S["HAVE_DOXYGEN_FALSE"]="#"
+-S["HAVE_DOXYGEN_TRUE"]=""
+-S["DOXYGEN"]="doxygen"
++S["HAVE_DOXYGEN_FALSE"]=""
++S["HAVE_DOXYGEN_TRUE"]="#"
++S["DOXYGEN"]=""
+ S["CROSS_COMPILING_FALSE"]=""
+ S["CROSS_COMPILING_TRUE"]="#"
+ S["CXXCPP"]="g++ -E"