Ticket #27726: Portfile.diff
File Portfile.diff, 2.0 KB (added by lockhart (Thomas Lockhart), 10 years ago) |
---|
-
Portfile
old new 4 4 PortSystem 1.0 5 5 6 6 name libcudd 7 version 2. 4.17 version 2.5.0 8 8 categories devel 9 9 maintainers bitchx.it:mij 10 10 description An efficient library for manipulating decision diagrams … … 17 17 homepage http://vlsi.colorado.edu/~fabio/CUDD/ 18 18 master_sites ftp://vlsi.colorado.edu/pub/ 19 19 distname cudd-${version} 20 checksums sha1 0a0894ff5a2798a73fcacf76d451777aa02919ce 20 checksums sha1 7d0d8b4b03f5c1819fe77a82f3b947421a72d629 \ 21 rmd160 2f7b1dc3118925de268a1f1396ba4e66b65c54e4 22 21 23 platforms darwin 22 24 23 25 # 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 26 # Makefile: avoid compiler flags that cause errors 27 patchfiles 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 patch-Makefile.diff 28 if {![string match "-arch x86_64" ${configure.cc_archflags}] 29 && ![string match "-arch ppc64" ${configure.cc_archflags}]} { 30 post-patch { 31 reinplace "s|-DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8|-malign-double|g" ${worksrcpath}/Makefile 32 } 33 } 26 34 27 35 use_configure no 28 36 … … 58 66 # TODO: install documentation ... 59 67 } 60 68 69 livecheck.type regex 70 livecheck.regex "Release (\\d+(?:\\.\\d+)*)" 71 61 72 notes " 62 73 To compile against the CUDD dynamic library, use\ 63 74 '-I${prefix}/include/cudd -L${prefix}/lib/cudd -lcudd' for the C interface, or\