[MacPorts] #22205: coq-8.2pl1 +coqide build failure.
MacPorts
noreply at macports.org
Sat Oct 31 22:18:04 PDT 2009
#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
More information about the macports-tickets
mailing list