[MacPorts] #31376: Failed configuring ppl
MacPorts
noreply at macports.org
Sun Oct 23 13:42:55 PDT 2011
#31376: Failed configuring ppl
----------------------------+-----------------------------------------------
Reporter: motya@… | Owner: adfernandes@…
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 2.0.3
Resolution: fixed | Keywords:
Port: ppl |
----------------------------+-----------------------------------------------
Changes (by adfernandes@…):
* status: new => closed
* resolution: => fixed
Comment:
I've refactored ppl and cloog in recent checkins - I believe, given your
logs, that the problem was a missing dependency on gmp.
--
Ticket URL: <https://trac.macports.org/ticket/31376#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list