Changeset 126020


Ignore:
Timestamp:
Oct 2, 2014, 4:17:52 AM (3 years ago)
Author:
ryandesign@…
Message:

libcudd: update to 2.5.0 (#27726); don't use nonexistent optimization levels (#40623); add universal variant; fix livecheck; new maintainer

Location:
trunk/dports/devel/libcudd
Files:
4 added
6 deleted
5 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/devel/libcudd/Portfile

    r124731 r126020  
    55
    66name                libcudd
    7 version             2.4.1
     7version             2.5.0
    88categories          devel
    9 maintainers         nomaintainer
     9platforms           darwin
     10maintainers         caltech.edu:SCL openmaintainer
     11
    1012description         An efficient library for manipulating decision diagrams
     13
    1114long_description    The CUDD package provides functions to manipulate Binary \
    1215                    Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), \
     
    1821master_sites        ftp://vlsi.colorado.edu/pub/
    1922distname            cudd-${version}
    20 checksums           sha1 0a0894ff5a2798a73fcacf76d451777aa02919ce
    21 platforms           darwin
    2223
    23 # patch to:
    24 # Makefile: avoid compiler flags that cause errors, add C++ interface target
    25 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
     24checksums           rmd160  2f7b1dc3118925de268a1f1396ba4e66b65c54e4 \
     25                    sha256  4f3bc49b35564af94b17135d8cb8c4063fb049cfaa442f80dc40ba73c6345a85
     26
     27patchfiles          patch-Makefile.diff \
     28                    patch-cudd-cudd.h.diff \
     29                    patch-dddmp-Makefile.diff \
     30                    patch-epd-Makefile.diff \
     31                    patch-mtr-mtr.h.diff \
     32                    patch-nanotrav-Makefile.diff \
     33                    patch-st-Makefile.diff \
     34                    patch-util-util.h.diff
    2635
    2736use_configure       no
    2837
     38variant universal {}
     39
    2940pre-build {
    30     system "cd ${worksrcpath} && make distclean"
    31     system "cd ${worksrcpath}/obj && make distclean"
     41    system -W ${worksrcpath} "make distclean"
     42    system -W ${worksrcpath}/obj "make distclean"
    3243}
    3344
    3445build.target        build
    35 build.args          CC="${configure.cc} ${configure.cc_archflags}" \
    36                     CXX="${configure.cxx} ${configure.cxx_archflags}" \
    37                     CPP="${configure.cxx} ${configure.cxx_archflags}"
     46build.args          CC="${configure.cc} [get_canonical_archflags cc]" \
     47                    CXX="${configure.cxx} [get_canonical_archflags cxx]"
    3848
    3949post-build {
    4050    # generate dylib for C interface
    41     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'`"
     51    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}"
    4252
    4353    # compile the additional C++ interface
    44     system "cd ${worksrcpath}/obj && make distclean && make [join ${build.args}]"
     54    system -W ${worksrcpath}/obj "make distclean && make [join ${build.args}]"
    4555    # generate dylib for C++ interface
    46     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"
     56    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}"
    4757}
    4858
     
    6474'-I${prefix}/include/cudd -L${prefix}/lib/cudd -lcudd -lcuddobj' for the C++ interface.
    6575"
     76
     77livecheck.type      regex
     78livecheck.url       [lindex ${master_sites} 0]
     79livecheck.regex     cudd-(\[0-9.\]+)${extract.suffix}
  • trunk/dports/devel/libcudd/files/patch-Makefile.diff

    r74491 r126020  
    1 --- Makefile.orig       2004-08-17 19:18:45.000000000 -0500
    2 +++ Makefile    2010-12-19 01:54:10.000000000 -0600
    3 @@ -50,7 +50,7 @@
    4  # These four are typical settings for optimized code with gcc.  The
    5  # last two also work with icc/ecc.
    6  #ICFLAGS       = -g -O6 -Wall
    7 -ICFLAGS        = -g -O6
    8 +ICFLAGS        = -g -O6 -dynamiclib
    9  #ICFLAGS       = -g -O3 -Wall
    10  #ICFLAGS       = -g -O3
    11  
    12 @@ -62,7 +62,7 @@
     1--- Makefile.orig       2012-02-05 00:48:43.000000000 -0600
     2+++ Makefile    2014-10-01 20:33:03.000000000 -0500
     3@@ -59,7 +59,7 @@
    134 #  Linux
    145 #
    15  # Gcc 2.8.1 or higher on i686.
    16 -XCFLAGS        = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
     6 # Gcc 4.2.4 or higher on i686.
     7-XCFLAGS        = -mtune=native -malign-double -DHAVE_IEEE_754 -DBSD
    178+XCFLAGS        = -DHAVE_IEEE_754
    189 # Gcc 3.2.2 or higher on i686.
    19  #XCFLAGS       = -mcpu=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD
    20  # Icc on i686.
    21 @@ -219,7 +219,7 @@
     10 #XCFLAGS       = -mtune=pentium4 -malign-double -DHAVE_IEEE_754 -DBSD
     11 # Gcc 2.8.1 on i686.
     12@@ -223,7 +223,7 @@
    2213        @for dir in $(DIRS); do \
    2314                (cd $$dir; \
     
    2819 
    2920 nanotrav: build
    30 @@ -229,7 +229,7 @@
     21@@ -233,7 +233,7 @@
    3122        @for dir in mnemosyne $(DIRS); do \
    3223                (cd $$dir; \
     
    3728 
    3829 optimize_dec:
    39 @@ -237,7 +237,7 @@
     30@@ -241,7 +241,7 @@
    4031        @for dir in $(DIRS); do \
    4132                (cd $$dir; \
     
    4637 
    4738 lint:
    48 @@ -245,7 +245,7 @@
     39@@ -249,7 +249,7 @@
    4940        @for dir in $(DIRS) obj; do \
    5041                (cd $$dir; \
     
    5546 
    5647 tags:
    57 @@ -253,7 +253,7 @@
     48@@ -257,7 +257,7 @@
    5849        @for dir in $(DIRS) obj; do \
    5950                (cd $$dir; \
     
    6455 
    6556 all:
    66 @@ -261,7 +261,7 @@
     57@@ -265,7 +265,7 @@
    6758        @for dir in $(DIRS); do \
    6859                (cd $$dir; \
     
    7364 
    7465 testcudd:
    75 @@ -269,18 +269,18 @@
     66@@ -273,18 +273,18 @@
    7667        @for dir in util st mtr epd; do \
    7768                (cd $$dir; \
     
    9586        @(cd obj; \
    9687        echo Making obj ...; \
    97 @@ -294,12 +294,12 @@
     88@@ -298,12 +298,12 @@
    9889 testdddmp: build
    9990        @(cd dddmp; \
  • trunk/dports/devel/libcudd/files/patch-dddmp-Makefile.diff

    r39298 r126020  
    1 --- olddddmp/Makefile   2004-02-20 17:13:24.000000000 +0100
    2 +++ dddmp/Makefile      2008-08-16 18:30:14.000000000 +0200
     1--- dddmp/Makefile.orig 2012-02-04 21:53:21.000000000 -0600
     2+++ dddmp/Makefile      2014-10-01 20:33:16.000000000 -0500
    33@@ -67,7 +67,7 @@
    44 # Settings for optimized code with gcc
     
    66 #ICFLAGS       = -g -O3 -Wall
    77-ICFLAGS        = -g -O6 -Wall
    8 +ICFLAGS        = -g -O6 -Wall -dynamiclib
     8+ICFLAGS        = -g -O3 -Wall
    99       
    1010 #--------------------------------#
  • trunk/dports/devel/libcudd/files/patch-epd-Makefile.diff

    r39298 r126020  
    1 --- oldepd/Makefile     2003-12-31 17:31:30.000000000 +0100
    2 +++ epd/Makefile        2008-08-16 18:30:31.000000000 +0200
     1--- epd/Makefile.orig   2003-12-31 10:31:30.000000000 -0600
     2+++ epd/Makefile        2014-10-01 20:33:09.000000000 -0500
    33@@ -8,7 +8,7 @@
    44 RANLIB = ranlib
     
    66 MFLAG  =
    77-ICFLAGS = -g -O6 -Wall
    8 +ICFLAGS = -g -O6 -Wall -dynamiclib
     8+ICFLAGS = -g -O3 -Wall
    99 CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
    1010 
  • trunk/dports/devel/libcudd/files/patch-st-Makefile.diff

    r39298 r126020  
    1 --- oldst/Makefile      2004-01-01 17:53:24.000000000 +0100
    2 +++ st/Makefile 2008-08-16 18:31:31.000000000 +0200
     1--- st/Makefile.orig    2004-01-01 10:53:24.000000000 -0600
     2+++ st/Makefile 2014-10-01 20:32:35.000000000 -0500
    33@@ -8,7 +8,7 @@
    44 RANLIB = ranlib
     
    66 MFLAG  =
    77-ICFLAGS = -g -O6 -Wall
    8 +ICFLAGS = -g -O6 -Wall -dynamiclib
     8+ICFLAGS = -g -O3 -Wall
    99 CFLAGS  = $(ICFLAGS) $(MFLAG) $(XCFLAGS)
    1010 
Note: See TracChangeset for help on using the changeset viewer.