[MacPorts] #27726: libcudd should be updated to 2.5.0
MacPorts
noreply at macports.org
Wed Dec 4 11:29:59 PST 2013
#27726: libcudd should be updated to 2.5.0
---------------------------+----------------------
Reporter: ryandesign@… | Owner: mij@…
Type: update | Status: new
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: | Keywords: haspatch
Port: libcudd |
---------------------------+----------------------
Comment (by SCL@…):
A new Portfile diff is below. I did not see documentation at
http://guide.macports.org/ concerning checking word size, so I only check
for ppc64 and x86_64. If neither of these is found in
${configure.cc_archflags}, then as suggested, reinplace is used to adjust
the patched Makefile.
Note that I am including the diff here rather than attaching it to the
ticket to avoid cluttering attachments...until a nearly final version is
reached.
--- Portfile.orig 2013-12-04 11:22:41.000000000 -0800
+++ Portfile 2013-12-04 11:22:36.000000000 -0800
@@ -1,10 +1,10 @@
# -*- 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
-# $Id: Portfile 88247 2011-12-23 11:21:32Z ryandesign at macports.org $
+# $Id$
PortSystem 1.0
name libcudd
-version 2.4.1
+version 2.5.0
categories devel
maintainers bitchx.it:mij
description An efficient library for manipulating decision
diagrams
@@ -17,12 +17,19 @@
homepage http://vlsi.colorado.edu/~fabio/CUDD/
master_sites ftp://vlsi.colorado.edu/pub/
distname cudd-${version}
-checksums sha1 0a0894ff5a2798a73fcacf76d451777aa02919ce
+checksums sha1 7d0d8b4b03f5c1819fe77a82f3b947421a72d629 \
+ rmd160 2f7b1dc3118925de268a1f1396ba4e66b65c54e4
platforms darwin
# 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
+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
+if {![string match "-arch x86_64" ${configure.cc_archflags}]
+ && ![string match "-arch ppc64" ${configure.cc_archflags}]} {
+ post-patch {
+ reinplace "s|-DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8|-malign-double|g"
${worksrcpath}/Makefile
+ }
+}
use_configure no
--
Ticket URL: <https://trac.macports.org/ticket/27726#comment:6>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list