#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