<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/3341ce538b7643f3186143b74641a5754fcdd0b1">https://github.com/macports/macports-ports/commit/3341ce538b7643f3186143b74641a5754fcdd0b1</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 3341ce538b7643f3186143b74641a5754fcdd0b1
</span>Author: Scott C. Livingston <slivingston@cds.caltech.edu>
AuthorDate: Sun Mar 17 16:50:23 2024 -0700

<span style='display:block; white-space:pre;color:#404040;'>    libcudd: update to 3.0.0
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    This release of CUDD includes a configure script that can be used
</span><span style='display:block; white-space:pre;color:#404040;'>    instead of patching the Makefile and other files.
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Note that the original upstream project URL is not online since
</span><span style='display:block; white-space:pre;color:#404040;'>    several years ago, but there is a mirror of the release files on
</span><span style='display:block; white-space:pre;color:#404040;'>    SourceForge that I maintain for use in gr1c and more code at
</span><span style='display:block; white-space:pre;color:#404040;'>    https://github.com/tulip-control/
</span>---
 devel/libcudd/Portfile                           |  65 +++------------
 devel/libcudd/files/patch-Makefile.diff          | 102 -----------------------
 devel/libcudd/files/patch-cudd-cudd.h.diff       |  25 ------
 devel/libcudd/files/patch-dddmp-Makefile.diff    |  11 ---
 devel/libcudd/files/patch-epd-Makefile.diff      |  11 ---
 devel/libcudd/files/patch-mtr-mtr.h.diff         |  15 ----
 devel/libcudd/files/patch-nanotrav-Makefile.diff |  11 ---
 devel/libcudd/files/patch-st-Makefile.diff       |  11 ---
 devel/libcudd/files/patch-util-util.h.diff       |  25 ------
 9 files changed, 10 insertions(+), 266 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/Portfile b/devel/libcudd/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index a3d69507922..77e2c103668 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/libcudd/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -3,10 +3,10 @@
</span> PortSystem          1.0
 
 name                libcudd
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             2.5.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             3.0.0
</span> categories          devel
 platforms           darwin
<span style='display:block; white-space:pre;background:#ffe0e0;'>-maintainers         caltech.edu:SCL openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         cds.caltech.edu:slivingston openmaintainer
</span> license             BSD
 conflicts           nusmv
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -19,63 +19,18 @@ long_description    The CUDD package provides functions to manipulate Binary \
</span>                     Boulder.
 
 homepage            http://vlsi.colorado.edu/~fabio/CUDD/
<span style='display:block; white-space:pre;background:#ffe0e0;'>-master_sites        ftp://vlsi.colorado.edu/pub/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+master_sites        sourceforge:cudd-mirror
</span> distname            cudd-${version}
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  2f7b1dc3118925de268a1f1396ba4e66b65c54e4 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  4f3bc49b35564af94b17135d8cb8c4063fb049cfaa442f80dc40ba73c6345a85 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    1053054
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  94bb43fe5e6065b64adc798b7b58d795f4d9d7d1 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  b8e966b4562c96a03e7fbea239729587d7b395d53cadcc39a7203b49cf7eeb69 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    1175302
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-patchfiles          patch-Makefile.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-cudd-cudd.h.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-dddmp-Makefile.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-epd-Makefile.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-mtr-mtr.h.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-nanotrav-Makefile.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-st-Makefile.diff \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    patch-util-util.h.diff
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-use_configure       no
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+use_configure       yes
</span> 
 variant universal {}
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-pre-build {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    system -W ${worksrcpath} "make distclean"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    system -W ${worksrcpath}/obj "make distclean"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build.target        build
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build.args          CC="${configure.cc} [get_canonical_archflags cc]" \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    CXX="${configure.cxx} [get_canonical_archflags cxx]"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-post-build {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    # generate dylib for C interface
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    system -W ${worksrcpath} "${configure.cc} ${configure.optflags} [get_canonical_archflags cc] -dynamiclib -install_name ${prefix}/lib/cudd/libcudd.dylib -o libcudd.dylib `find cudd dddmp epd mtr st util -name '*.o'` ${configure.ldflags}"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    # compile the additional C++ interface
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    system -W ${worksrcpath}/obj "make distclean && make [join ${build.args}]"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    # generate dylib for C++ interface
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    system -W ${worksrcpath} "${configure.cxx} ${configure.optflags} [get_canonical_archflags cxx] -dynamiclib -install_name ${prefix}/lib/cudd/libcuddobj.dylib -L. -lcudd -o libcuddobj.dylib obj/cuddObj.o ${configure.ldflags}"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-destroot {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    # install header files
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    xinstall -m 755 -d ${destroot}${prefix}/include/cudd
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    xinstall -m 644 -W ${worksrcpath}/include cudd.h cuddInt.h cuddObj.hh \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    dddmp.h epd.h mtr.h st.h util.h \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                ${destroot}${prefix}/include/cudd
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    # install libraries
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    xinstall -m 755 -d ${destroot}${prefix}/lib/cudd
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    xinstall -m 644 -W ${worksrcpath} libcudd.dylib libcuddobj.dylib ${destroot}${prefix}/lib/cudd
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    # TODO: install documentation ...
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-notes "
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-To compile against the CUDD dynamic library, use\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-'-I${prefix}/include/cudd -L${prefix}/lib/cudd -lcudd' for the C interface, or\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-'-I${prefix}/include/cudd -L${prefix}/lib/cudd -lcudd -lcuddobj' for the C++ interface.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+configure.args      --enable-shared \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    --enable-obj
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.type      regex
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.url       [lindex ${master_sites} 0]
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.regex     cudd-(\[0-9.\]+)${extract.suffix}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+build.target        all
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/files/patch-Makefile.diff b/devel/libcudd/files/patch-Makefile.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 2b7106d8d73..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/files/patch-Makefile.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,102 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- Makefile.orig  2012-02-05 00:48:43.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ Makefile       2014-10-01 20:33:03.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -59,7 +59,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #  Linux
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- # Gcc 4.2.4 or higher on i686.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--XCFLAGS   = -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+XCFLAGS   = -DHAVE_IEEE_754
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- # Gcc 3.2.2 or higher on i686.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #XCFLAGS  = -mtune=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- # Gcc 2.8.1 on i686.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -223,7 +223,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in $(DIRS); do \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           (cd $$dir; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           echo Making $$dir ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--          make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+          make CC="$(CC)" RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   done
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- nanotrav: build
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -233,7 +233,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in mnemosyne $(DIRS); do \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           (cd $$dir; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           echo Making $$dir ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--          make CC=$(CC) RANLIB=$(RANLIB) MFLAG=$(MFLAG) MNEMLIB=$(MNEMLIB) ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" EXE="$(EXE)" )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+          make CC="$(CC)" RANLIB=$(RANLIB) MFLAG=$(MFLAG) MNEMLIB=$(MNEMLIB) ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" EXE="$(EXE)" )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   done
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- optimize_dec:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -241,7 +241,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in $(DIRS); do \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           (cd $$dir; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           echo Making $$dir ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--          make CC=$(CC) RANLIB=$(RANLIB) XCFLAGS="$(XCFLAGS)" LDFLAGS="$(LDFLAGS)" optimize_dec )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+          make CC="$(CC)" RANLIB=$(RANLIB) XCFLAGS="$(XCFLAGS)" LDFLAGS="$(LDFLAGS)" optimize_dec )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   done
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- lint:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -249,7 +249,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in $(DIRS) obj; do \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           (cd $$dir; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           echo Making lint in $$dir ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--          make CC=$(CC) lint )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+          make CC="$(CC)" lint )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   done
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- tags:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -257,7 +257,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in $(DIRS) obj; do \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           (cd $$dir; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           echo Making tags in $$dir ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--          make CC=$(CC) tags )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+          make CC="$(CC)" tags )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   done
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- all:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -265,7 +265,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in $(DIRS); do \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           (cd $$dir; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           echo Making all in $$dir ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--          make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" all )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+          make CC="$(CC)" RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" all )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   done
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- testcudd:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -273,18 +273,18 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in util st mtr epd; do \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           (cd $$dir; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           echo Making $$dir ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--          make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+          make CC="$(CC)" RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   done
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @(cd cudd; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   echo Making testcudd ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--  make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" testcudd$(EXE) )
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+  make CC="$(CC)" RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" testcudd$(EXE) )
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- objlib:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   sh ./setup.sh
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in $(BDIRS); do \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           (cd $$dir; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-           echo Making $$dir ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--          make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+          make CC="$(CC)" RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" )\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   done
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @(cd obj; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   echo Making obj ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -298,12 +298,12 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- testdddmp: build
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @(cd dddmp; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   echo Making testdddmp ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--  make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" testdddmp$(EXE) )
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+  make CC="$(CC)" RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" testdddmp$(EXE) )
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- testmtr: build
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @(cd mtr; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   echo Making testmtr ...; \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--  make CC=$(CC) RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" testmtr$(EXE) )
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+  make CC="$(CC)" RANLIB=$(RANLIB) MFLAG= MNEMLIB= ICFLAGS="$(ICFLAGS)" XCFLAGS="$(XCFLAGS)" DDDEBUG="$(DDDEBUG)" MTRDEBUG="$(MTRDEBUG)" LDFLAGS="$(LDFLAGS)" PURE="$(PURE)" EXE="$(EXE)" testmtr$(EXE) )
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- clean:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-   @for dir in mnemosyne $(DIRS) obj; do   \
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/files/patch-cudd-cudd.h.diff b/devel/libcudd/files/patch-cudd-cudd.h.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index cbd00189d7c..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/files/patch-cudd-cudd.h.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,25 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- cudd/cudd.h.orig       2012-02-04 19:07:33.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ cudd/cudd.h    2014-10-01 20:48:15.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -75,14 +75,22 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define CUDD_VERSION "2.5.0"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ifndef SIZEOF_VOID_P
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#if __LP64__
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#define SIZEOF_VOID_P 8
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define SIZEOF_VOID_P 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ifndef SIZEOF_INT
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define SIZEOF_INT 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ifndef SIZEOF_LONG
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#if __LP64__
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#define SIZEOF_LONG 8
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define SIZEOF_LONG 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define CUDD_TRUE 1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define CUDD_FALSE 0
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/files/patch-dddmp-Makefile.diff b/devel/libcudd/files/patch-dddmp-Makefile.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 355c4eecc02..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/files/patch-dddmp-Makefile.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- dddmp/Makefile.orig    2012-02-04 21:53:21.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ dddmp/Makefile 2014-10-01 20:33:16.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -67,7 +67,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- # Settings for optimized code with gcc
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ICFLAGS  = -g -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ICFLAGS  = -g -O3 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--ICFLAGS   = -g -O6 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+ICFLAGS   = -g -O3 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-       
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #--------------------------------#
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- # Define Machine Dependent Flags #
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/files/patch-epd-Makefile.diff b/devel/libcudd/files/patch-epd-Makefile.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index c935ff81387..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/files/patch-epd-Makefile.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- epd/Makefile.orig      2003-12-31 10:31:30.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ epd/Makefile   2014-10-01 20:33:09.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -8,7 +8,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- RANLIB    = ranlib
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- MFLAG     =
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--ICFLAGS = -g -O6 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+ICFLAGS = -g -O3 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- LINTFLAGS = -u -n
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/files/patch-mtr-mtr.h.diff b/devel/libcudd/files/patch-mtr-mtr.h.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 57c8916b528..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/files/patch-mtr-mtr.h.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,15 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- mtr/mtr.h.orig 2012-02-04 19:06:22.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ mtr/mtr.h      2014-10-01 20:48:40.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -72,8 +72,12 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- /*---------------------------------------------------------------------------*/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ifndef SIZEOF_VOID_P
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#if __LP64__
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#define SIZEOF_VOID_P 8
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define SIZEOF_VOID_P 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ifndef SIZEOF_INT
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define SIZEOF_INT 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/files/patch-nanotrav-Makefile.diff b/devel/libcudd/files/patch-nanotrav-Makefile.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 4ceb5eedce6..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/files/patch-nanotrav-Makefile.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- nanotrav/Makefile.orig 1999-08-31 14:12:55.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ nanotrav/Makefile      2014-10-01 20:33:46.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -44,7 +44,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- MFLAG     =
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #MFLAG    = -DMNEMOSYNE
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--ICFLAGS = -g -O6 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+ICFLAGS = -g -O3 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ICFLAGS = -g -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- XCFLAGS = -DHAVE_IEEE_754 -DBSD
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #XCFLAGS = -xtaso -ieee_with_no_inexact -tune host
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/files/patch-st-Makefile.diff b/devel/libcudd/files/patch-st-Makefile.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index f60c6ff13d3..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/files/patch-st-Makefile.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,11 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- st/Makefile.orig       2004-01-01 10:53:24.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ st/Makefile    2014-10-01 20:32:35.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -8,7 +8,7 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- RANLIB    = ranlib
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- MFLAG     =
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--ICFLAGS = -g -O6 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+ICFLAGS = -g -O3 -Wall
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- LINTFLAGS = -u -n
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/libcudd/files/patch-util-util.h.diff b/devel/libcudd/files/patch-util-util.h.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index d210e495ed2..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/libcudd/files/patch-util-util.h.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,25 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- util/util.h.orig       2012-02-04 23:35:52.000000000 -0600
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ util/util.h    2014-10-01 20:48:32.000000000 -0500
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -20,14 +20,22 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ifndef SIZEOF_VOID_P
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#if __LP64__
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#define SIZEOF_VOID_P 8
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define SIZEOF_VOID_P 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ifndef SIZEOF_INT
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define SIZEOF_INT 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #ifndef SIZEOF_LONG
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#if __LP64__
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#define SIZEOF_LONG 8
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#else
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #define SIZEOF_LONG 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+#endif
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- 
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- typedef long util_ptrint;
</span></pre><pre style='margin:0'>

</pre>