#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