Ticket #27726: Portfile-libcudd.diff
File Portfile-libcudd.diff, 1.7 KB (added by SCL@…, 11 years ago) |
---|
-
Portfile
old new 1 1 # -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4 2 # $Id : Portfile 88247 2011-12-23 11:21:32Z ryandesign@macports.org$2 # $Id$ 3 3 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 21 22 platforms darwin 22 23 23 24 # patch to: 24 25 # 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 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-i386.diff 27 if {[string match "-arch x86_64" ${configure.cc_archflags}]} { 28 patchfiles-replace patch-Makefile-i386.diff patch-Makefile-x86_64.diff 29 } 26 30 27 31 use_configure no 28 32