[MacPorts] #31376: Failed configuring ppl

[MacPorts]

#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