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

[MacPorts]

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

Comment(by kiyoshi.coquser@…):

 Lablgtk2 port is updated from 2.10.1 to 2.14.0 with "use_parallel_build
 no"  at #22314 .

 So we can build Coq without error like this report, now.

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