[MacPorts] #41653: new port of gr1c
MacPorts
noreply at macports.org
Mon Dec 2 22:10:30 PST 2013
#41653: new port of gr1c
-------------------------+--------------------------------
Reporter: SCL@… | Owner: macports-tickets@…
Type: submission | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.2.1
Resolution: | Keywords:
Port: gr1c |
-------------------------+--------------------------------
Changes (by ryandesign@…):
* port: => gr1c
Old description:
> I created a new port for gr1c (http://scottman.net/2012/gr1c ;
> http://slivingston.github.io/gr1c/). It depends on libcudd, the Portfile
> of which I updated for version 2.5.0 of CUDD and posted it at what seems
> to be the most relevant ticket, https://trac.macports.org/ticket/27726
New description:
I created a new port for gr1c (http://scottman.net/2012/gr1c ;
http://slivingston.github.io/gr1c/). It depends on libcudd, the Portfile
of which I updated for version 2.5.0 of CUDD and posted it at what seems
to be the most relevant ticket, #27726
--
Comment:
Thanks. Some observations:
* the i386 patch seems not to be i386-specific but rather 32-bit-
specific; it would be needed on ppc as well. And it would be nice to not
have to maintain the same patch twice, once for 64-bit and once for
32-bit; you may want to have just a single patch, and then use `reinplace`
to fix the incorrect values on 32-bit systems
* the patchfiles hardcode the location /opt/local; MacPorts might be in a
different prefix so you need to arrange to use the value of the ${prefix}
variable instead
* "build.target all" is the default so it can be removed
* the destroot block can be simplified by using `xinstall`'s `-W` flag
--
Ticket URL: <https://trac.macports.org/ticket/41653#comment:1>
MacPorts <http://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list