[MacPorts] #41653: new port of gr1c

[MacPorts]

#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