<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head><meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>[126020] trunk/dports/devel/libcudd</title>
</head>
<body>
<style type="text/css"><!--
#msg dl.meta { border: 1px #006 solid; background: #369; padding: 6px; color: #fff; }
#msg dl.meta dt { float: left; width: 6em; font-weight: bold; }
#msg dt:after { content:':';}
#msg dl, #msg dt, #msg ul, #msg li, #header, #footer, #logmsg { font-family: verdana,arial,helvetica,sans-serif; font-size: 10pt; }
#msg dl a { font-weight: bold}
#msg dl a:link { color:#fc3; }
#msg dl a:active { color:#ff0; }
#msg dl a:visited { color:#cc6; }
h3 { font-family: verdana,arial,helvetica,sans-serif; font-size: 10pt; font-weight: bold; }
#msg pre { overflow: auto; background: #ffc; border: 1px #fa0 solid; padding: 6px; }
#logmsg { background: #ffc; border: 1px #fa0 solid; padding: 1em 1em 0 1em; }
#logmsg p, #logmsg pre, #logmsg blockquote { margin: 0 0 1em 0; }
#logmsg p, #logmsg li, #logmsg dt, #logmsg dd { line-height: 14pt; }
#logmsg h1, #logmsg h2, #logmsg h3, #logmsg h4, #logmsg h5, #logmsg h6 { margin: .5em 0; }
#logmsg h1:first-child, #logmsg h2:first-child, #logmsg h3:first-child, #logmsg h4:first-child, #logmsg h5:first-child, #logmsg h6:first-child { margin-top: 0; }
#logmsg ul, #logmsg ol { padding: 0; list-style-position: inside; margin: 0 0 0 1em; }
#logmsg ul { text-indent: -1em; padding-left: 1em; }#logmsg ol { text-indent: -1.5em; padding-left: 1.5em; }
#logmsg > ul, #logmsg > ol { margin: 0 0 1em 0; }
#logmsg pre { background: #eee; padding: 1em; }
#logmsg blockquote { border: 1px solid #fa0; border-left-width: 10px; padding: 1em 1em 0 1em; background: white;}
#logmsg dl { margin: 0; }
#logmsg dt { font-weight: bold; }
#logmsg dd { margin: 0; padding: 0 0 0.5em 0; }
#logmsg dd:before { content:'\00bb';}
#logmsg table { border-spacing: 0px; border-collapse: collapse; border-top: 4px solid #fa0; border-bottom: 1px solid #fa0; background: #fff; }
#logmsg table th { text-align: left; font-weight: normal; padding: 0.2em 0.5em; border-top: 1px dotted #fa0; }
#logmsg table td { text-align: right; border-top: 1px dotted #fa0; padding: 0.2em 0.5em; }
#logmsg table thead th { text-align: center; border-bottom: 1px solid #fa0; }
#logmsg table th.Corner { text-align: left; }
#logmsg hr { border: none 0; border-top: 2px dashed #fa0; height: 1px; }
#header, #footer { color: #fff; background: #636; border: 1px #300 solid; padding: 6px; }
#patch { width: 100%; }
#patch h4 {font-family: verdana,arial,helvetica,sans-serif;font-size:10pt;padding:8px;background:#369;color:#fff;margin:0;}
#patch .propset h4, #patch .binary h4 {margin:0;}
#patch pre {padding:0;line-height:1.2em;margin:0;}
#patch .diff {width:100%;background:#eee;padding: 0 0 10px 0;overflow:auto;}
#patch .propset .diff, #patch .binary .diff {padding:10px 0;}
#patch span {display:block;padding:0 10px;}
#patch .modfile, #patch .addfile, #patch .delfile, #patch .propset, #patch .binary, #patch .copfile {border:1px solid #ccc;margin:10px 0;}
#patch ins {background:#dfd;text-decoration:none;display:block;padding:0 10px;}
#patch del {background:#fdd;text-decoration:none;display:block;padding:0 10px;}
#patch .lines, .info {color:#888;background:#fff;}
--></style>
<div id="msg">
<dl class="meta">
<dt>Revision</dt> <dd><a href="https://trac.macports.org/changeset/126020">126020</a></dd>
<dt>Author</dt> <dd>ryandesign@macports.org</dd>
<dt>Date</dt> <dd>2014-10-01 21:17:52 -0700 (Wed, 01 Oct 2014)</dd>
</dl>
<h3>Log Message</h3>
<pre>libcudd: update to 2.5.0 (#27726); don't use nonexistent optimization levels (#40623); add universal variant; fix livecheck; new maintainer</pre>
<h3>Modified Paths</h3>
<ul>
<li><a href="#trunkdportsdevellibcuddPortfile">trunk/dports/devel/libcudd/Portfile</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchMakefilediff">trunk/dports/devel/libcudd/files/patch-Makefile.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchdddmpMakefilediff">trunk/dports/devel/libcudd/files/patch-dddmp-Makefile.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchepdMakefilediff">trunk/dports/devel/libcudd/files/patch-epd-Makefile.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchstMakefilediff">trunk/dports/devel/libcudd/files/patch-st-Makefile.diff</a></li>
</ul>
<h3>Added Paths</h3>
<ul>
<li><a href="#trunkdportsdevellibcuddfilespatchcuddcuddhdiff">trunk/dports/devel/libcudd/files/patch-cudd-cudd.h.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchmtrmtrhdiff">trunk/dports/devel/libcudd/files/patch-mtr-mtr.h.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchnanotravMakefilediff">trunk/dports/devel/libcudd/files/patch-nanotrav-Makefile.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchutilutilhdiff">trunk/dports/devel/libcudd/files/patch-util-util.h.diff</a></li>
</ul>
<h3>Removed Paths</h3>
<ul>
<li><a href="#trunkdportsdevellibcuddfilespatchcuddMakefilediff">trunk/dports/devel/libcudd/files/patch-cudd-Makefile.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchmtrMakefilediff">trunk/dports/devel/libcudd/files/patch-mtr-Makefile.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchobjMakefilediff">trunk/dports/devel/libcudd/files/patch-obj-Makefile.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchobjcuddObjccdiff">trunk/dports/devel/libcudd/files/patch-obj-cuddObj.cc.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchobjcuddObjhhdiff">trunk/dports/devel/libcudd/files/patch-obj-cuddObj.hh.diff</a></li>
<li><a href="#trunkdportsdevellibcuddfilespatchutilMakefilediff">trunk/dports/devel/libcudd/files/patch-util-Makefile.diff</a></li>
</ul>
</div>
<div id="patch">
<h3>Diff</h3>
<a id="trunkdportsdevellibcuddPortfile"></a>
<div class="modfile"><h4>Modified: trunk/dports/devel/libcudd/Portfile (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/Portfile 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/Portfile 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -4,10 +4,13 @@
</span><span class="cx"> PortSystem 1.0
</span><span class="cx">
</span><span class="cx"> name libcudd
</span><del>-version 2.4.1
</del><ins>+version 2.5.0
</ins><span class="cx"> categories devel
</span><del>-maintainers nomaintainer
</del><ins>+platforms darwin
+maintainers caltech.edu:SCL openmaintainer
+
</ins><span class="cx"> description An efficient library for manipulating decision diagrams
</span><ins>+
</ins><span class="cx"> long_description The CUDD package provides functions to manipulate Binary \
</span><span class="cx"> Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), \
</span><span class="cx"> and Zero-suppressed Binary Decision Diagrams (ZDDs). It's \
</span><span class="lines">@@ -17,33 +20,40 @@
</span><span class="cx"> homepage http://vlsi.colorado.edu/~fabio/CUDD/
</span><span class="cx"> master_sites ftp://vlsi.colorado.edu/pub/
</span><span class="cx"> distname cudd-${version}
</span><del>-checksums sha1 0a0894ff5a2798a73fcacf76d451777aa02919ce
-platforms darwin
</del><span class="cx">
</span><del>-# patch to:
-# Makefile: avoid compiler flags that cause errors, add C++ interface target
-patchfiles patch-Makefile.diff patch-obj-cuddObj.cc.diff patch-obj-cuddObj.hh.diff patch-cudd-Makefile.diff patch-dddmp-Makefile.diff patch-epd-Makefile.diff patch-mtr-Makefile.diff patch-obj-Makefile.diff patch-st-Makefile.diff patch-util-Makefile.diff
</del><ins>+checksums rmd160 2f7b1dc3118925de268a1f1396ba4e66b65c54e4 \
+ sha256 4f3bc49b35564af94b17135d8cb8c4063fb049cfaa442f80dc40ba73c6345a85
</ins><span class="cx">
</span><ins>+patchfiles patch-Makefile.diff \
+ patch-cudd-cudd.h.diff \
+ patch-dddmp-Makefile.diff \
+ patch-epd-Makefile.diff \
+ patch-mtr-mtr.h.diff \
+ patch-nanotrav-Makefile.diff \
+ patch-st-Makefile.diff \
+ patch-util-util.h.diff
+
</ins><span class="cx"> use_configure no
</span><span class="cx">
</span><ins>+variant universal {}
+
</ins><span class="cx"> pre-build {
</span><del>- system "cd ${worksrcpath} && make distclean"
- system "cd ${worksrcpath}/obj && make distclean"
</del><ins>+ system -W ${worksrcpath} "make distclean"
+ system -W ${worksrcpath}/obj "make distclean"
</ins><span class="cx"> }
</span><span class="cx">
</span><span class="cx"> build.target build
</span><del>-build.args CC="${configure.cc} ${configure.cc_archflags}" \
- CXX="${configure.cxx} ${configure.cxx_archflags}" \
- CPP="${configure.cxx} ${configure.cxx_archflags}"
</del><ins>+build.args CC="${configure.cc} [get_canonical_archflags cc]" \
+ CXX="${configure.cxx} [get_canonical_archflags cxx]"
</ins><span class="cx">
</span><span class="cx"> post-build {
</span><span class="cx"> # generate dylib for C interface
</span><del>- exec /bin/sh -c "${configure.cc} ${configure.cc_archflags} -dynamiclib -O6 -headerpad_max_install_names -install_name ${prefix}/lib/cudd/libcudd.dylib -o ${worksrcpath}/libcudd.dylib `find ${worksrcpath}/cudd ${worksrcpath}/dddmp ${worksrcpath}/epd ${worksrcpath}/mtr ${worksrcpath}/st ${worksrcpath}/util -name '*.o'`"
</del><ins>+ 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}"
</ins><span class="cx">
</span><span class="cx"> # compile the additional C++ interface
</span><del>- system "cd ${worksrcpath}/obj && make distclean && make [join ${build.args}]"
</del><ins>+ system -W ${worksrcpath}/obj "make distclean && make [join ${build.args}]"
</ins><span class="cx"> # generate dylib for C++ interface
</span><del>- exec /bin/sh -c "${configure.cxx} ${configure.cxx_archflags} -dynamiclib -O6 -headerpad_max_install_names -install_name ${prefix}/lib/cudd/libcuddobj.dylib -L${worksrcpath} -lcudd -o ${worksrcpath}/libcuddobj.dylib ${worksrcpath}/obj/cuddObj.o"
</del><ins>+ 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}"
</ins><span class="cx"> }
</span><span class="cx">
</span><span class="cx"> destroot {
</span><span class="lines">@@ -63,3 +73,7 @@
</span><span class="cx"> '-I${prefix}/include/cudd -L${prefix}/lib/cudd -lcudd' for the C interface, or\
</span><span class="cx"> '-I${prefix}/include/cudd -L${prefix}/lib/cudd -lcudd -lcuddobj' for the C++ interface.
</span><span class="cx"> "
</span><ins>+
+livecheck.type regex
+livecheck.url [lindex ${master_sites} 0]
+livecheck.regex cudd-(\[0-9.\]+)${extract.suffix}
</ins></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchMakefilediff"></a>
<div class="modfile"><h4>Modified: trunk/dports/devel/libcudd/files/patch-Makefile.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-Makefile.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,24 +1,15 @@
</span><del>---- Makefile.orig 2004-08-17 19:18:45.000000000 -0500
-+++ Makefile 2010-12-19 01:54:10.000000000 -0600
-@@ -50,7 +50,7 @@
- # These four are typical settings for optimized code with gcc. The
- # last two also work with icc/ecc.
- #ICFLAGS = -g -O6 -Wall
--ICFLAGS = -g -O6
-+ICFLAGS = -g -O6 -dynamiclib
- #ICFLAGS = -g -O3 -Wall
- #ICFLAGS = -g -O3
-
-@@ -62,7 +62,7 @@
</del><ins>+--- Makefile.orig 2012-02-05 00:48:43.000000000 -0600
++++ Makefile 2014-10-01 20:33:03.000000000 -0500
+@@ -59,7 +59,7 @@
</ins><span class="cx"> # Linux
</span><span class="cx"> #
</span><del>- # Gcc 2.8.1 or higher on i686.
--XCFLAGS = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
</del><ins>+ # Gcc 4.2.4 or higher on i686.
+-XCFLAGS = -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD
</ins><span class="cx"> +XCFLAGS = -DHAVE_IEEE_754
</span><span class="cx"> # Gcc 3.2.2 or higher on i686.
</span><del>- #XCFLAGS = -mcpu=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD
- # Icc on i686.
-@@ -219,7 +219,7 @@
</del><ins>+ #XCFLAGS = -mtune=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD
+ # Gcc 2.8.1 on i686.
+@@ -223,7 +223,7 @@
</ins><span class="cx"> @for dir in $(DIRS); do \
</span><span class="cx"> (cd $$dir; \
</span><span class="cx"> echo Making $$dir ...; \
</span><span class="lines">@@ -27,7 +18,7 @@
</span><span class="cx"> done
</span><span class="cx">
</span><span class="cx"> nanotrav: build
</span><del>-@@ -229,7 +229,7 @@
</del><ins>+@@ -233,7 +233,7 @@
</ins><span class="cx"> @for dir in mnemosyne $(DIRS); do \
</span><span class="cx"> (cd $$dir; \
</span><span class="cx"> echo Making $$dir ...; \
</span><span class="lines">@@ -36,7 +27,7 @@
</span><span class="cx"> done
</span><span class="cx">
</span><span class="cx"> optimize_dec:
</span><del>-@@ -237,7 +237,7 @@
</del><ins>+@@ -241,7 +241,7 @@
</ins><span class="cx"> @for dir in $(DIRS); do \
</span><span class="cx"> (cd $$dir; \
</span><span class="cx"> echo Making $$dir ...; \
</span><span class="lines">@@ -45,7 +36,7 @@
</span><span class="cx"> done
</span><span class="cx">
</span><span class="cx"> lint:
</span><del>-@@ -245,7 +245,7 @@
</del><ins>+@@ -249,7 +249,7 @@
</ins><span class="cx"> @for dir in $(DIRS) obj; do \
</span><span class="cx"> (cd $$dir; \
</span><span class="cx"> echo Making lint in $$dir ...; \
</span><span class="lines">@@ -54,7 +45,7 @@
</span><span class="cx"> done
</span><span class="cx">
</span><span class="cx"> tags:
</span><del>-@@ -253,7 +253,7 @@
</del><ins>+@@ -257,7 +257,7 @@
</ins><span class="cx"> @for dir in $(DIRS) obj; do \
</span><span class="cx"> (cd $$dir; \
</span><span class="cx"> echo Making tags in $$dir ...; \
</span><span class="lines">@@ -63,7 +54,7 @@
</span><span class="cx"> done
</span><span class="cx">
</span><span class="cx"> all:
</span><del>-@@ -261,7 +261,7 @@
</del><ins>+@@ -265,7 +265,7 @@
</ins><span class="cx"> @for dir in $(DIRS); do \
</span><span class="cx"> (cd $$dir; \
</span><span class="cx"> echo Making all in $$dir ...; \
</span><span class="lines">@@ -72,7 +63,7 @@
</span><span class="cx"> done
</span><span class="cx">
</span><span class="cx"> testcudd:
</span><del>-@@ -269,18 +269,18 @@
</del><ins>+@@ -273,18 +273,18 @@
</ins><span class="cx"> @for dir in util st mtr epd; do \
</span><span class="cx"> (cd $$dir; \
</span><span class="cx"> echo Making $$dir ...; \
</span><span class="lines">@@ -94,7 +85,7 @@
</span><span class="cx"> done
</span><span class="cx"> @(cd obj; \
</span><span class="cx"> echo Making obj ...; \
</span><del>-@@ -294,12 +294,12 @@
</del><ins>+@@ -298,12 +298,12 @@
</ins><span class="cx"> testdddmp: build
</span><span class="cx"> @(cd dddmp; \
</span><span class="cx"> echo Making testdddmp ...; \
</span></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchcuddMakefilediff"></a>
<div class="delfile"><h4>Deleted: trunk/dports/devel/libcudd/files/patch-cudd-Makefile.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-cudd-Makefile.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-cudd-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,11 +0,0 @@
</span><del>---- oldcudd/Makefile 1999-08-20 00:34:24.000000000 +0200
-+++ cudd/Makefile 2008-08-16 17:56:14.000000000 +0200
-@@ -12,7 +12,7 @@
- #EXE = .exe
-
- MFLAG =
--ICFLAGS = -g
-+ICFLAGS = -g -dynamiclib
- XCFLAGS = -DDD_STATS
- CFLAGS = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
- #DDDEBUG = -DDD_DEBUG -DDD_CACHE_PROFILE -DDD_VERBOSE -DDD_UNIQUE_PROFILE
</del></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchcuddcuddhdiff"></a>
<div class="addfile"><h4>Added: trunk/dports/devel/libcudd/files/patch-cudd-cudd.h.diff (0 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-cudd-cudd.h.diff (rev 0)
+++ trunk/dports/devel/libcudd/files/patch-cudd-cudd.h.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -0,0 +1,25 @@
</span><ins>+--- cudd/cudd.h.orig 2012-02-04 19:07:33.000000000 -0600
++++ cudd/cudd.h 2014-10-01 20:48:15.000000000 -0500
+@@ -75,14 +75,22 @@
+ #define CUDD_VERSION "2.5.0"
+
+ #ifndef SIZEOF_VOID_P
++#if __LP64__
++#define SIZEOF_VOID_P 8
++#else
+ #define SIZEOF_VOID_P 4
+ #endif
++#endif
+ #ifndef SIZEOF_INT
+ #define SIZEOF_INT 4
+ #endif
+ #ifndef SIZEOF_LONG
++#if __LP64__
++#define SIZEOF_LONG 8
++#else
+ #define SIZEOF_LONG 4
+ #endif
++#endif
+
+ #define CUDD_TRUE 1
+ #define CUDD_FALSE 0
</ins></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchdddmpMakefilediff"></a>
<div class="modfile"><h4>Modified: trunk/dports/devel/libcudd/files/patch-dddmp-Makefile.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-dddmp-Makefile.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-dddmp-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,11 +1,11 @@
</span><del>---- olddddmp/Makefile 2004-02-20 17:13:24.000000000 +0100
-+++ dddmp/Makefile 2008-08-16 18:30:14.000000000 +0200
</del><ins>+--- dddmp/Makefile.orig 2012-02-04 21:53:21.000000000 -0600
++++ dddmp/Makefile 2014-10-01 20:33:16.000000000 -0500
</ins><span class="cx"> @@ -67,7 +67,7 @@
</span><span class="cx"> # Settings for optimized code with gcc
</span><span class="cx"> #ICFLAGS = -g -Wall
</span><span class="cx"> #ICFLAGS = -g -O3 -Wall
</span><span class="cx"> -ICFLAGS = -g -O6 -Wall
</span><del>-+ICFLAGS = -g -O6 -Wall -dynamiclib
</del><ins>++ICFLAGS = -g -O3 -Wall
</ins><span class="cx">
</span><span class="cx"> #--------------------------------#
</span><span class="cx"> # Define Machine Dependent Flags #
</span></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchepdMakefilediff"></a>
<div class="modfile"><h4>Modified: trunk/dports/devel/libcudd/files/patch-epd-Makefile.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-epd-Makefile.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-epd-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,11 +1,11 @@
</span><del>---- oldepd/Makefile 2003-12-31 17:31:30.000000000 +0100
-+++ epd/Makefile 2008-08-16 18:30:31.000000000 +0200
</del><ins>+--- epd/Makefile.orig 2003-12-31 10:31:30.000000000 -0600
++++ epd/Makefile 2014-10-01 20:33:09.000000000 -0500
</ins><span class="cx"> @@ -8,7 +8,7 @@
</span><span class="cx"> RANLIB = ranlib
</span><span class="cx">
</span><span class="cx"> MFLAG =
</span><span class="cx"> -ICFLAGS = -g -O6 -Wall
</span><del>-+ICFLAGS = -g -O6 -Wall -dynamiclib
</del><ins>++ICFLAGS = -g -O3 -Wall
</ins><span class="cx"> CFLAGS = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
</span><span class="cx">
</span><span class="cx"> LINTFLAGS = -u -n
</span></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchmtrMakefilediff"></a>
<div class="delfile"><h4>Deleted: trunk/dports/devel/libcudd/files/patch-mtr-Makefile.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-mtr-Makefile.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-mtr-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,11 +0,0 @@
</span><del>---- oldmtr/Makefile 2004-01-01 19:47:16.000000000 +0100
-+++ mtr/Makefile 2008-08-16 18:31:05.000000000 +0200
-@@ -12,7 +12,7 @@
- #EXE = .exe
-
- MFLAG =
--ICFLAGS = -g
-+ICFLAGS = -g -dynamiclib
- CFLAGS = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
- MTRDEBUG = -DMTR_STATS -DMTR_VERBOSE -DMTR_DEBUG
-
</del></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchmtrmtrhdiff"></a>
<div class="addfile"><h4>Added: trunk/dports/devel/libcudd/files/patch-mtr-mtr.h.diff (0 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-mtr-mtr.h.diff (rev 0)
+++ trunk/dports/devel/libcudd/files/patch-mtr-mtr.h.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -0,0 +1,15 @@
</span><ins>+--- mtr/mtr.h.orig 2012-02-04 19:06:22.000000000 -0600
++++ mtr/mtr.h 2014-10-01 20:48:40.000000000 -0500
+@@ -72,8 +72,12 @@
+ /*---------------------------------------------------------------------------*/
+
+ #ifndef SIZEOF_VOID_P
++#if __LP64__
++#define SIZEOF_VOID_P 8
++#else
+ #define SIZEOF_VOID_P 4
+ #endif
++#endif
+ #ifndef SIZEOF_INT
+ #define SIZEOF_INT 4
+ #endif
</ins></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchnanotravMakefilediff"></a>
<div class="addfile"><h4>Added: trunk/dports/devel/libcudd/files/patch-nanotrav-Makefile.diff (0 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-nanotrav-Makefile.diff (rev 0)
+++ trunk/dports/devel/libcudd/files/patch-nanotrav-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -0,0 +1,11 @@
</span><ins>+--- nanotrav/Makefile.orig 1999-08-31 14:12:55.000000000 -0500
++++ nanotrav/Makefile 2014-10-01 20:33:46.000000000 -0500
+@@ -44,7 +44,7 @@
+
+ MFLAG =
+ #MFLAG = -DMNEMOSYNE
+-ICFLAGS = -g -O6 -Wall
++ICFLAGS = -g -O3 -Wall
+ #ICFLAGS = -g -Wall
+ XCFLAGS = -DHAVE_IEEE_754 -DBSD
+ #XCFLAGS = -xtaso -ieee_with_no_inexact -tune host
</ins></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchobjMakefilediff"></a>
<div class="delfile"><h4>Deleted: trunk/dports/devel/libcudd/files/patch-obj-Makefile.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-obj-Makefile.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-obj-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,11 +0,0 @@
</span><del>---- oldobj/Makefile 2001-03-19 08:35:09.000000000 +0100
-+++ obj/Makefile 2008-08-16 18:31:37.000000000 +0200
-@@ -12,7 +12,7 @@
- #EXE = .exe
-
- MFLAG =
--ICFLAGS = -g
-+ICFLAGS = -g -O6 -dynamiclib
- XCFLAGS =
- CPPFLAGS =
- CFLAGS = $(ICFLAGS) $(MFLAG) $(XCFLAGS) $(CPPFLAGS)
</del></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchobjcuddObjccdiff"></a>
<div class="delfile"><h4>Deleted: trunk/dports/devel/libcudd/files/patch-obj-cuddObj.cc.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-obj-cuddObj.cc.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-obj-cuddObj.cc.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,139 +0,0 @@
</span><del>---- oldobj/cuddObj.cc 2004-08-24 23:13:14.000000000 +0200
-+++ obj/cuddObj.cc 2008-08-16 18:36:28.000000000 +0200
-@@ -94,84 +94,6 @@
- } // DD::DD
-
-
--inline DdManager *
--DD::checkSameManager(
-- const DD &other) const
--{
-- DdManager *mgr = ddMgr->p->manager;
-- if (mgr != other.ddMgr->p->manager) {
-- ddMgr->p->errorHandler("Operands come from different manager.");
-- }
-- return mgr;
--
--} // DD::checkSameManager
--
--
--inline void
--DD::checkReturnValue(
-- const DdNode *result) const
--{
-- if (result == 0) {
-- DdManager *mgr = ddMgr->p->manager;
-- Cudd_ErrorType errType = Cudd_ReadErrorCode(mgr);
-- switch (errType) {
-- CUDD_MEMORY_OUT:
-- ddMgr->p->errorHandler("Out of memory.");
-- break;
-- CUDD_TOO_MANY_NODES:
-- break;
-- CUDD_MAX_MEM_EXCEEDED:
-- ddMgr->p->errorHandler("Maximum memory exceeded.");
-- break;
-- CUDD_INVALID_ARG:
-- ddMgr->p->errorHandler("Invalid argument.");
-- break;
-- CUDD_INTERNAL_ERROR:
-- ddMgr->p->errorHandler("Internal error.");
-- break;
-- CUDD_NO_ERROR:
-- default:
-- ddMgr->p->errorHandler("Unexpected error.");
-- break;
-- }
-- }
--
--} // DD::checkReturnValue
--
--
--inline void
--DD::checkReturnValue(
-- const int result,
-- const int expected) const
--{
-- if (result != expected) {
-- DdManager *mgr = ddMgr->p->manager;
-- Cudd_ErrorType errType = Cudd_ReadErrorCode(mgr);
-- switch (errType) {
-- CUDD_MEMORY_OUT:
-- ddMgr->p->errorHandler("Out of memory.");
-- break;
-- CUDD_TOO_MANY_NODES:
-- break;
-- CUDD_MAX_MEM_EXCEEDED:
-- ddMgr->p->errorHandler("Maximum memory exceeded.");
-- break;
-- CUDD_INVALID_ARG:
-- ddMgr->p->errorHandler("Invalid argument.");
-- break;
-- CUDD_INTERNAL_ERROR:
-- ddMgr->p->errorHandler("Internal error.");
-- break;
-- CUDD_NO_ERROR:
-- default:
-- ddMgr->p->errorHandler("Unexpected error.");
-- break;
-- }
-- }
--
--} // DD::checkReturnValue
--
--
- Cudd *
- DD::manager() const
- {
-@@ -180,14 +102,6 @@
- } // DD::manager
-
-
--inline DdNode *
--DD::getNode() const
--{
-- return node;
--
--} // DD::getNode
--
--
- int
- DD::nodeCount() const
- {
-@@ -1097,36 +1011,6 @@
- } // Cudd::getHandler
-
-
--inline void
--Cudd::checkReturnValue(
-- const DdNode *result) const
--{
-- if (result == 0) {
-- if (Cudd_ReadErrorCode(p->manager) == CUDD_MEMORY_OUT) {
-- p->errorHandler("Out of memory.");
-- } else {
-- p->errorHandler("Internal error.");
-- }
-- }
--
--} // Cudd::checkReturnValue
--
--
--inline void
--Cudd::checkReturnValue(
-- const int result) const
--{
-- if (result == 0) {
-- if (Cudd_ReadErrorCode(p->manager) == CUDD_MEMORY_OUT) {
-- p->errorHandler("Out of memory.");
-- } else {
-- p->errorHandler("Internal error.");
-- }
-- }
--
--} // Cudd::checkReturnValue
--
--
- void
- Cudd::info() const
- {
</del></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchobjcuddObjhhdiff"></a>
<div class="delfile"><h4>Deleted: trunk/dports/devel/libcudd/files/patch-obj-cuddObj.hh.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-obj-cuddObj.hh.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-obj-cuddObj.hh.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,538 +0,0 @@
</span><del>---- obj/cuddObj.hh 2004-08-24 23:13:14.000000000 +0200
-+++ obj/cuddObj.hh 2010-03-08 11:59:35.000000000 +0100
-@@ -72,6 +72,7 @@
- /* Type definitions */
- /*---------------------------------------------------------------------------*/
-
-+class DD;
- class ADD;
- class BDD;
- class ZDD;
-@@ -89,6 +90,232 @@
-
- /**Class***********************************************************************
-
-+ Synopsis [Class for CUDD managers.]
-+
-+ Description []
-+
-+ SeeAlso [DD]
-+
-+******************************************************************************/
-+class Cudd {
-+ friend class DD;
-+ friend class ABDD;
-+ friend class ADD;
-+ friend class BDD;
-+ friend class ZDD;
-+ struct capsule {
-+ DdManager *manager;
-+ PFC errorHandler;
-+ int verbose;
-+ int ref;
-+ };
-+ capsule *p;
-+public:
-+ Cudd(
-+ unsigned int numVars = 0,
-+ unsigned int numVarsZ = 0,
-+ unsigned int numSlots = CUDD_UNIQUE_SLOTS,
-+ unsigned int cacheSize = CUDD_CACHE_SLOTS,
-+ unsigned long maxMemory = 0);
-+ Cudd(Cudd& x);
-+ ~Cudd();
-+ PFC setHandler(PFC newHandler);
-+ PFC getHandler() const;
-+ DdManager *getManager() const {return p->manager;}
-+ inline void makeVerbose() {p->verbose = 1;}
-+ inline void makeTerse() {p->verbose = 0;}
-+ inline int isVerbose() const {return p->verbose;}
-+ inline void checkReturnValue(const DdNode *result) const {
-+ if (result == 0) {
-+ if (Cudd_ReadErrorCode(p->manager) == CUDD_MEMORY_OUT) {
-+ p->errorHandler("Out of memory.");
-+ } else {
-+ p->errorHandler("Internal error.");
-+ }
-+ }
-+ }
-+ inline void checkReturnValue(const int result) const {
-+ if (result == 0) {
-+ if (Cudd_ReadErrorCode(p->manager) == CUDD_MEMORY_OUT) {
-+ p->errorHandler("Out of memory.");
-+ } else {
-+ p->errorHandler("Internal error.");
-+ }
-+ }
-+ }
-+ Cudd& operator=(const Cudd& right);
-+ void info() const;
-+ BDD bddVar();
-+ BDD bddVar(int index);
-+ BDD bddOne();
-+ BDD bddZero();
-+ ADD addVar();
-+ ADD addVar(int index);
-+ ADD addOne();
-+ ADD addZero();
-+ ADD constant(CUDD_VALUE_TYPE c);
-+ ADD plusInfinity();
-+ ADD minusInfinity();
-+ ZDD zddVar(int index);
-+ ZDD zddOne(int i);
-+ ZDD zddZero();
-+ ADD addNewVarAtLevel(int level);
-+ BDD bddNewVarAtLevel(int level);
-+ void zddVarsFromBddVars(int multiplicity);
-+ void AutodynEnable(Cudd_ReorderingType method);
-+ void AutodynDisable();
-+ int ReorderingStatus(Cudd_ReorderingType * method) const;
-+ void AutodynEnableZdd(Cudd_ReorderingType method);
-+ void AutodynDisableZdd();
-+ int ReorderingStatusZdd(Cudd_ReorderingType * method) const;
-+ int zddRealignmentEnabled() const;
-+ void zddRealignEnable();
-+ void zddRealignDisable();
-+ int bddRealignmentEnabled() const;
-+ void bddRealignEnable();
-+ void bddRealignDisable();
-+ ADD background();
-+ void SetBackground(ADD bg);
-+ unsigned int ReadCacheSlots() const;
-+ double ReadCacheUsedSlots() const;
-+ double ReadCacheLookUps() const;
-+ double ReadCacheHits() const;
-+ unsigned int ReadMinHit() const;
-+ void SetMinHit(unsigned int hr);
-+ unsigned int ReadLooseUpTo() const;
-+ void SetLooseUpTo(unsigned int lut);
-+ unsigned int ReadMaxCache() const;
-+ unsigned int ReadMaxCacheHard() const;
-+ void SetMaxCacheHard(unsigned int mc);
-+ int ReadSize() const;
-+ int ReadZddSize() const;
-+ unsigned int ReadSlots() const;
-+ unsigned int ReadKeys() const;
-+ unsigned int ReadDead() const;
-+ unsigned int ReadMinDead() const;
-+ int ReadReorderings() const;
-+ long ReadReorderingTime() const;
-+ int ReadGarbageCollections() const;
-+ long ReadGarbageCollectionTime() const;
-+ int ReadSiftMaxVar() const;
-+ void SetSiftMaxVar(int smv);
-+ int ReadSiftMaxSwap() const;
-+ void SetSiftMaxSwap(int sms);
-+ double ReadMaxGrowth() const;
-+ void SetMaxGrowth(double mg);
-+ MtrNode * ReadTree() const;
-+ void SetTree(MtrNode * tree);
-+ void FreeTree();
-+ MtrNode * ReadZddTree() const;
-+ void SetZddTree(MtrNode * tree);
-+ void FreeZddTree();
-+ int ReadPerm(int i) const;
-+ int ReadPermZdd(int i) const;
-+ int ReadInvPerm(int i) const;
-+ int ReadInvPermZdd(int i) const;
-+ BDD ReadVars(int i);
-+ CUDD_VALUE_TYPE ReadEpsilon() const;
-+ void SetEpsilon(CUDD_VALUE_TYPE ep);
-+ Cudd_AggregationType ReadGroupcheck() const;
-+ void SetGroupcheck(Cudd_AggregationType gc);
-+ int GarbageCollectionEnabled() const;
-+ void EnableGarbageCollection();
-+ void DisableGarbageCollection();
-+ int DeadAreCounted() const;
-+ void TurnOnCountDead();
-+ void TurnOffCountDead();
-+ int ReadRecomb() const;
-+ void SetRecomb(int recomb);
-+ int ReadSymmviolation() const;
-+ void SetSymmviolation(int symmviolation);
-+ int ReadArcviolation() const;
-+ void SetArcviolation(int arcviolation);
-+ int ReadPopulationSize() const;
-+ void SetPopulationSize(int populationSize);
-+ int ReadNumberXovers() const;
-+ void SetNumberXovers(int numberXovers);
-+ unsigned long ReadMemoryInUse() const;
-+ long ReadPeakNodeCount() const;
-+ long ReadNodeCount() const;
-+ long zddReadNodeCount() const;
-+ void AddHook(DD_HFP f, Cudd_HookType where);
-+ void RemoveHook(DD_HFP f, Cudd_HookType where);
-+ int IsInHook(DD_HFP f, Cudd_HookType where) const;
-+ void EnableReorderingReporting();
-+ void DisableReorderingReporting();
-+ int ReorderingReporting();
-+ int ReadErrorCode() const;
-+ void ClearErrorCode();
-+ FILE *ReadStdout() const;
-+ void SetStdout(FILE *);
-+ FILE *ReadStderr() const;
-+ void SetStderr(FILE *);
-+ unsigned int ReadNextReordering() const;
-+ double ReadSwapSteps() const;
-+ unsigned int ReadMaxLive() const;
-+ void SetMaxLive(unsigned int);
-+ unsigned long ReadMaxMemory() const;
-+ void SetMaxMemory(unsigned long);
-+ int bddBindVar(int);
-+ int bddUnbindVar(int);
-+ int bddVarIsBound(int) const;
-+ ADD Walsh(ADDvector x, ADDvector y);
-+ ADD addResidue(int n, int m, int options, int top);
-+ int ApaNumberOfDigits(int binaryDigits) const;
-+ DdApaNumber NewApaNumber(int digits) const;
-+ void ApaCopy(int digits, DdApaNumber source, DdApaNumber dest) const;
-+ DdApaDigit ApaAdd(int digits, DdApaNumber a, DdApaNumber b, DdApaNumber
-+ sum) const;
-+ DdApaDigit ApaSubtract(int digits, DdApaNumber a, DdApaNumber b,
-+ DdApaNumber diff) const;
-+ DdApaDigit ApaShortDivision(int digits, DdApaNumber dividend, DdApaDigit
-+ divisor, DdApaNumber quotient) const;
-+ void ApaShiftRight(int digits, DdApaDigit in, DdApaNumber a, DdApaNumber
-+ b) const;
-+ void ApaSetToLiteral(int digits, DdApaNumber number, DdApaDigit literal)
-+ const;
-+ void ApaPowerOfTwo(int digits, DdApaNumber number, int power) const;
-+ void ApaPrintHex(FILE * fp, int digits, DdApaNumber number) const;
-+ void ApaPrintDecimal(FILE * fp, int digits, DdApaNumber number) const;
-+ void DebugCheck();
-+ void CheckKeys();
-+ MtrNode * MakeTreeNode(unsigned int low, unsigned int size, unsigned int type);
-+ // void Harwell(FILE * fp, ADD* E, ADD** x, ADD** y, ADD** xn, ADD** yn_, int * nx, int * ny, int * m, int * n, int bx, int sx, int by, int sy, int pr);
-+ void PrintLinear();
-+ int ReadLinear(int x, int y);
-+ BDD Xgty(BDDvector z, BDDvector x, BDDvector y);
-+ BDD Xeqy(BDDvector x, BDDvector y);
-+ ADD Xeqy(ADDvector x, ADDvector y);
-+ BDD Dxygtdxz(BDDvector x, BDDvector y, BDDvector z);
-+ BDD Dxygtdyz(BDDvector x, BDDvector y, BDDvector z);
-+ ADD Hamming(ADDvector xVars, ADDvector yVars);
-+ // void Read(FILE * fp, ADD* E, ADD** x, ADD** y, ADD** xn, ADD** yn_, int * nx, int * ny, int * m, int * n, int bx, int sx, int by, int sy);
-+ // void Read(FILE * fp, BDD* E, BDD** x, BDD** y, int * nx, int * ny, int * m, int * n, int bx, int sx, int by, int sy);
-+ void ReduceHeap(Cudd_ReorderingType heuristic, int minsize);
-+ void ShuffleHeap(int * permutation);
-+ void SymmProfile(int lower, int upper) const;
-+ unsigned int Prime(unsigned int pr) const;
-+ int SharingSize(DD* nodes, int n) const;
-+ BDD bddComputeCube(BDD * vars, int * phase, int n);
-+ ADD addComputeCube(ADD * vars, int * phase, int n);
-+ int NextNode(DdGen * gen, BDD * nnode);
-+ BDD IndicesToCube(int * array, int n);
-+ void PrintVersion(FILE * fp) const;
-+ double AverageDistance() const;
-+ long Random();
-+ void Srandom(long seed);
-+ MtrNode * MakeZddTreeNode(unsigned int low, unsigned int size, unsigned int type);
-+ void zddPrintSubtable() const;
-+ void zddReduceHeap(Cudd_ReorderingType heuristic, int minsize);
-+ void zddShuffleHeap(int * permutation);
-+ void zddSymmProfile(int lower, int upper) const;
-+ //void DumpDot(int n, ZDD* f, char ** inames, char ** onames, FILE * fp);
-+
-+}; // Cudd
-+
-+
-+/**Class***********************************************************************
-+
- Synopsis [Base class for all decision diagrams in CUDD.]
-
- Description []
-@@ -103,16 +330,73 @@
- friend class ZDD;
- Cudd *ddMgr;
- DdNode *node;
-- inline DdManager * checkSameManager(const DD &other) const;
-- inline void checkReturnValue(const DdNode *result) const;
-- inline void checkReturnValue(const int result, const int expected = 1)
-- const;
-+ inline DdManager * checkSameManager(const DD &other) const {
-+ DdManager *mgr = ddMgr->p->manager;
-+ if (mgr != other.ddMgr->p->manager) {
-+ ddMgr->p->errorHandler("Operands come from different manager.");
-+ }
-+ return mgr;
-+ }
-+ inline void checkReturnValue(const DdNode *result) const {
-+ if (result == 0) {
-+ DdManager *mgr = ddMgr->p->manager;
-+ Cudd_ErrorType errType = Cudd_ReadErrorCode(mgr);
-+ switch (errType) {
-+ case CUDD_MEMORY_OUT:
-+ ddMgr->p->errorHandler("Out of memory.");
-+ break;
-+ case CUDD_TOO_MANY_NODES:
-+ break;
-+ case CUDD_MAX_MEM_EXCEEDED:
-+ ddMgr->p->errorHandler("Maximum memory exceeded.");
-+ break;
-+ case CUDD_INVALID_ARG:
-+ ddMgr->p->errorHandler("Invalid argument.");
-+ break;
-+ case CUDD_INTERNAL_ERROR:
-+ ddMgr->p->errorHandler("Internal error.");
-+ break;
-+ case CUDD_NO_ERROR:
-+ default:
-+ ddMgr->p->errorHandler("Unexpected error.");
-+ break;
-+ }
-+ }
-+ }
-+ inline void checkReturnValue(const int result, const int expected = 1) const {
-+ if (result != expected) {
-+ DdManager *mgr = ddMgr->p->manager;
-+ Cudd_ErrorType errType = Cudd_ReadErrorCode(mgr);
-+ switch (errType) {
-+ case CUDD_MEMORY_OUT:
-+ ddMgr->p->errorHandler("Out of memory.");
-+ break;
-+ case CUDD_TOO_MANY_NODES:
-+ break;
-+ case CUDD_MAX_MEM_EXCEEDED:
-+ ddMgr->p->errorHandler("Maximum memory exceeded.");
-+ break;
-+ case CUDD_INVALID_ARG:
-+ ddMgr->p->errorHandler("Invalid argument.");
-+ break;
-+ case CUDD_INTERNAL_ERROR:
-+ ddMgr->p->errorHandler("Internal error.");
-+ break;
-+ case CUDD_NO_ERROR:
-+ default:
-+ ddMgr->p->errorHandler("Unexpected error.");
-+ break;
-+ }
-+ }
-+ }
- public:
- DD(Cudd *ddManager, DdNode *ddNode);
- DD();
- DD(const DD &from);
- Cudd *manager() const;
-- inline DdNode * getNode() const;
-+ inline DdNode * getNode() const {
-+ return node;
-+ }
- int nodeCount() const;
- unsigned int NodeReadIndex() const;
-
-@@ -442,215 +726,6 @@
- }; // ZDD
-
-
--/**Class***********************************************************************
--
-- Synopsis [Class for CUDD managers.]
--
-- Description []
--
-- SeeAlso [DD]
--
--******************************************************************************/
--class Cudd {
-- friend class DD;
-- friend class ABDD;
-- friend class ADD;
-- friend class BDD;
-- friend class ZDD;
-- struct capsule {
-- DdManager *manager;
-- PFC errorHandler;
-- int verbose;
-- int ref;
-- };
-- capsule *p;
--public:
-- Cudd(
-- unsigned int numVars = 0,
-- unsigned int numVarsZ = 0,
-- unsigned int numSlots = CUDD_UNIQUE_SLOTS,
-- unsigned int cacheSize = CUDD_CACHE_SLOTS,
-- unsigned long maxMemory = 0);
-- Cudd(Cudd& x);
-- ~Cudd();
-- PFC setHandler(PFC newHandler);
-- PFC getHandler() const;
-- DdManager *getManager() const {return p->manager;}
-- inline void makeVerbose() {p->verbose = 1;}
-- inline void makeTerse() {p->verbose = 0;}
-- inline int isVerbose() const {return p->verbose;}
-- inline void checkReturnValue(const DdNode *result) const;
-- inline void checkReturnValue(const int result) const;
-- Cudd& operator=(const Cudd& right);
-- void info() const;
-- BDD bddVar();
-- BDD bddVar(int index);
-- BDD bddOne();
-- BDD bddZero();
-- ADD addVar();
-- ADD addVar(int index);
-- ADD addOne();
-- ADD addZero();
-- ADD constant(CUDD_VALUE_TYPE c);
-- ADD plusInfinity();
-- ADD minusInfinity();
-- ZDD zddVar(int index);
-- ZDD zddOne(int i);
-- ZDD zddZero();
-- ADD addNewVarAtLevel(int level);
-- BDD bddNewVarAtLevel(int level);
-- void zddVarsFromBddVars(int multiplicity);
-- void AutodynEnable(Cudd_ReorderingType method);
-- void AutodynDisable();
-- int ReorderingStatus(Cudd_ReorderingType * method) const;
-- void AutodynEnableZdd(Cudd_ReorderingType method);
-- void AutodynDisableZdd();
-- int ReorderingStatusZdd(Cudd_ReorderingType * method) const;
-- int zddRealignmentEnabled() const;
-- void zddRealignEnable();
-- void zddRealignDisable();
-- int bddRealignmentEnabled() const;
-- void bddRealignEnable();
-- void bddRealignDisable();
-- ADD background();
-- void SetBackground(ADD bg);
-- unsigned int ReadCacheSlots() const;
-- double ReadCacheUsedSlots() const;
-- double ReadCacheLookUps() const;
-- double ReadCacheHits() const;
-- unsigned int ReadMinHit() const;
-- void SetMinHit(unsigned int hr);
-- unsigned int ReadLooseUpTo() const;
-- void SetLooseUpTo(unsigned int lut);
-- unsigned int ReadMaxCache() const;
-- unsigned int ReadMaxCacheHard() const;
-- void SetMaxCacheHard(unsigned int mc);
-- int ReadSize() const;
-- int ReadZddSize() const;
-- unsigned int ReadSlots() const;
-- unsigned int ReadKeys() const;
-- unsigned int ReadDead() const;
-- unsigned int ReadMinDead() const;
-- int ReadReorderings() const;
-- long ReadReorderingTime() const;
-- int ReadGarbageCollections() const;
-- long ReadGarbageCollectionTime() const;
-- int ReadSiftMaxVar() const;
-- void SetSiftMaxVar(int smv);
-- int ReadSiftMaxSwap() const;
-- void SetSiftMaxSwap(int sms);
-- double ReadMaxGrowth() const;
-- void SetMaxGrowth(double mg);
-- MtrNode * ReadTree() const;
-- void SetTree(MtrNode * tree);
-- void FreeTree();
-- MtrNode * ReadZddTree() const;
-- void SetZddTree(MtrNode * tree);
-- void FreeZddTree();
-- int ReadPerm(int i) const;
-- int ReadPermZdd(int i) const;
-- int ReadInvPerm(int i) const;
-- int ReadInvPermZdd(int i) const;
-- BDD ReadVars(int i);
-- CUDD_VALUE_TYPE ReadEpsilon() const;
-- void SetEpsilon(CUDD_VALUE_TYPE ep);
-- Cudd_AggregationType ReadGroupcheck() const;
-- void SetGroupcheck(Cudd_AggregationType gc);
-- int GarbageCollectionEnabled() const;
-- void EnableGarbageCollection();
-- void DisableGarbageCollection();
-- int DeadAreCounted() const;
-- void TurnOnCountDead();
-- void TurnOffCountDead();
-- int ReadRecomb() const;
-- void SetRecomb(int recomb);
-- int ReadSymmviolation() const;
-- void SetSymmviolation(int symmviolation);
-- int ReadArcviolation() const;
-- void SetArcviolation(int arcviolation);
-- int ReadPopulationSize() const;
-- void SetPopulationSize(int populationSize);
-- int ReadNumberXovers() const;
-- void SetNumberXovers(int numberXovers);
-- unsigned long ReadMemoryInUse() const;
-- long ReadPeakNodeCount() const;
-- long ReadNodeCount() const;
-- long zddReadNodeCount() const;
-- void AddHook(DD_HFP f, Cudd_HookType where);
-- void RemoveHook(DD_HFP f, Cudd_HookType where);
-- int IsInHook(DD_HFP f, Cudd_HookType where) const;
-- void EnableReorderingReporting();
-- void DisableReorderingReporting();
-- int ReorderingReporting();
-- int ReadErrorCode() const;
-- void ClearErrorCode();
-- FILE *ReadStdout() const;
-- void SetStdout(FILE *);
-- FILE *ReadStderr() const;
-- void SetStderr(FILE *);
-- unsigned int ReadNextReordering() const;
-- double ReadSwapSteps() const;
-- unsigned int ReadMaxLive() const;
-- void SetMaxLive(unsigned int);
-- unsigned long ReadMaxMemory() const;
-- void SetMaxMemory(unsigned long);
-- int bddBindVar(int);
-- int bddUnbindVar(int);
-- int bddVarIsBound(int) const;
-- ADD Walsh(ADDvector x, ADDvector y);
-- ADD addResidue(int n, int m, int options, int top);
-- int ApaNumberOfDigits(int binaryDigits) const;
-- DdApaNumber NewApaNumber(int digits) const;
-- void ApaCopy(int digits, DdApaNumber source, DdApaNumber dest) const;
-- DdApaDigit ApaAdd(int digits, DdApaNumber a, DdApaNumber b, DdApaNumber
-- sum) const;
-- DdApaDigit ApaSubtract(int digits, DdApaNumber a, DdApaNumber b,
-- DdApaNumber diff) const;
-- DdApaDigit ApaShortDivision(int digits, DdApaNumber dividend, DdApaDigit
-- divisor, DdApaNumber quotient) const;
-- void ApaShiftRight(int digits, DdApaDigit in, DdApaNumber a, DdApaNumber
-- b) const;
-- void ApaSetToLiteral(int digits, DdApaNumber number, DdApaDigit literal)
-- const;
-- void ApaPowerOfTwo(int digits, DdApaNumber number, int power) const;
-- void ApaPrintHex(FILE * fp, int digits, DdApaNumber number) const;
-- void ApaPrintDecimal(FILE * fp, int digits, DdApaNumber number) const;
-- void DebugCheck();
-- void CheckKeys();
-- MtrNode * MakeTreeNode(unsigned int low, unsigned int size, unsigned int type);
-- // void Harwell(FILE * fp, ADD* E, ADD** x, ADD** y, ADD** xn, ADD** yn_, int * nx, int * ny, int * m, int * n, int bx, int sx, int by, int sy, int pr);
-- void PrintLinear();
-- int ReadLinear(int x, int y);
-- BDD Xgty(BDDvector z, BDDvector x, BDDvector y);
-- BDD Xeqy(BDDvector x, BDDvector y);
-- ADD Xeqy(ADDvector x, ADDvector y);
-- BDD Dxygtdxz(BDDvector x, BDDvector y, BDDvector z);
-- BDD Dxygtdyz(BDDvector x, BDDvector y, BDDvector z);
-- ADD Hamming(ADDvector xVars, ADDvector yVars);
-- // void Read(FILE * fp, ADD* E, ADD** x, ADD** y, ADD** xn, ADD** yn_, int * nx, int * ny, int * m, int * n, int bx, int sx, int by, int sy);
-- // void Read(FILE * fp, BDD* E, BDD** x, BDD** y, int * nx, int * ny, int * m, int * n, int bx, int sx, int by, int sy);
-- void ReduceHeap(Cudd_ReorderingType heuristic, int minsize);
-- void ShuffleHeap(int * permutation);
-- void SymmProfile(int lower, int upper) const;
-- unsigned int Prime(unsigned int pr) const;
-- int SharingSize(DD* nodes, int n) const;
-- BDD bddComputeCube(BDD * vars, int * phase, int n);
-- ADD addComputeCube(ADD * vars, int * phase, int n);
-- int NextNode(DdGen * gen, BDD * nnode);
-- BDD IndicesToCube(int * array, int n);
-- void PrintVersion(FILE * fp) const;
-- double AverageDistance() const;
-- long Random();
-- void Srandom(long seed);
-- MtrNode * MakeZddTreeNode(unsigned int low, unsigned int size, unsigned int type);
-- void zddPrintSubtable() const;
-- void zddReduceHeap(Cudd_ReorderingType heuristic, int minsize);
-- void zddShuffleHeap(int * permutation);
-- void zddSymmProfile(int lower, int upper) const;
-- //void DumpDot(int n, ZDD* f, char ** inames, char ** onames, FILE * fp);
--
--}; // Cudd
--
-
- /**Class***********************************************************************
-
</del></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchstMakefilediff"></a>
<div class="modfile"><h4>Modified: trunk/dports/devel/libcudd/files/patch-st-Makefile.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-st-Makefile.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-st-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,11 +1,11 @@
</span><del>---- oldst/Makefile 2004-01-01 17:53:24.000000000 +0100
-+++ st/Makefile 2008-08-16 18:31:31.000000000 +0200
</del><ins>+--- st/Makefile.orig 2004-01-01 10:53:24.000000000 -0600
++++ st/Makefile 2014-10-01 20:32:35.000000000 -0500
</ins><span class="cx"> @@ -8,7 +8,7 @@
</span><span class="cx"> RANLIB = ranlib
</span><span class="cx">
</span><span class="cx"> MFLAG =
</span><span class="cx"> -ICFLAGS = -g -O6 -Wall
</span><del>-+ICFLAGS = -g -O6 -Wall -dynamiclib
</del><ins>++ICFLAGS = -g -O3 -Wall
</ins><span class="cx"> CFLAGS = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
</span><span class="cx">
</span><span class="cx"> LINTFLAGS = -u -n
</span></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchutilMakefilediff"></a>
<div class="delfile"><h4>Deleted: trunk/dports/devel/libcudd/files/patch-util-Makefile.diff (126019 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-util-Makefile.diff 2014-10-02 02:03:56 UTC (rev 126019)
+++ trunk/dports/devel/libcudd/files/patch-util-Makefile.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -1,11 +0,0 @@
</span><del>---- oldutil/Makefile 2004-01-03 18:15:30.000000000 +0100
-+++ util/Makefile 2008-08-16 18:31:45.000000000 +0200
-@@ -9,7 +9,7 @@
-
- FLAGS = -DUNIX
- MFLAG =
--ICFLAGS = -g
-+ICFLAGS = -g -dynamiclib
- CFLAGS = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
-
- LINTFLAGS = -u -n
</del></span></pre></div>
<a id="trunkdportsdevellibcuddfilespatchutilutilhdiff"></a>
<div class="addfile"><h4>Added: trunk/dports/devel/libcudd/files/patch-util-util.h.diff (0 => 126020)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/devel/libcudd/files/patch-util-util.h.diff (rev 0)
+++ trunk/dports/devel/libcudd/files/patch-util-util.h.diff 2014-10-02 04:17:52 UTC (rev 126020)
</span><span class="lines">@@ -0,0 +1,25 @@
</span><ins>+--- util/util.h.orig 2012-02-04 23:35:52.000000000 -0600
++++ util/util.h 2014-10-01 20:48:32.000000000 -0500
+@@ -20,14 +20,22 @@
+ #endif
+
+ #ifndef SIZEOF_VOID_P
++#if __LP64__
++#define SIZEOF_VOID_P 8
++#else
+ #define SIZEOF_VOID_P 4
+ #endif
++#endif
+ #ifndef SIZEOF_INT
+ #define SIZEOF_INT 4
+ #endif
+ #ifndef SIZEOF_LONG
++#if __LP64__
++#define SIZEOF_LONG 8
++#else
+ #define SIZEOF_LONG 4
+ #endif
++#endif
+
+ #if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4
+ typedef long util_ptrint;
</ins></span></pre>
</div>
</div>
</body>
</html>