[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@…):

 Thanks aran.

 Probably gtkThread.cmo file was broken.

 I guess that parallel building of lablegtk2 occasionally emits such broken
 files.

 Adding "use_parallel_build no" line to Portfile of lablgtk2 will fix this
 issue.

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