[MacPorts] #22205: coq-8.2pl1 +coqide build failure.

[MacPorts]

#22205: coq-8.2pl1 +coqide build failure.
----------------------------------+-----------------------------------------
 Reporter:  aran@…                |       Owner:  macports-tickets@…                   
     Type:  defect                |      Status:  new                                  
 Priority:  Normal                |   Milestone:                                       
Component:  ports                 |     Version:  1.8.1                                
 Keywords:  coq coqide            |        Port:  coq                                  
----------------------------------+-----------------------------------------

Comment(by aran@…):

 After much trial and error, uninstalling and reinstalling lablgtk2 before
 installing coq seemed to do the trick.

-- 
Ticket URL: <http://trac.macports.org/ticket/22205#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS