new port of gr1c

[SCL@…]

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

[SCL@…]

Makefile patch in case target arch is i386

[ryandesign (Ryan Carsten Schmidt)]

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