Opened 10 years ago
Last modified 9 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 10 years ago by SCL@…
Changed 10 years ago by SCL@…
| Attachment: | patch-Makefile-i386.diff added |
|---|
Changed 10 years ago by SCL@…
| Attachment: | patch-Makefile.diff added |
|---|
Changed 10 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