Opened 11 years ago
Last modified 10 years ago
#41653 closed submission
new port of gr1c — at Initial Version
Reported by: | SCL@… | Owned by: | macports-tickets@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.2.1 |
Keywords: | Cc: | ||
Port: | gr1c |
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
Change History (4)
Changed 11 years ago by SCL@…
Changed 11 years ago by SCL@…
Attachment: | patch-Makefile-i386.diff added |
---|
Changed 11 years ago by SCL@…
Attachment: | patch-Makefile.diff added |
---|
Changed 11 years ago by SCL@…
Attachment: | patch-tests-Makefile.diff added |
---|
Note: See
TracTickets for help on using
tickets.
Makefile patch in case target arch is i386