[MacPorts] #50505: Mistakes in Portfile regarding the variant coqide
MacPorts
noreply at macports.org
Wed Feb 3 06:36:12 PST 2016
#50505: Mistakes in Portfile regarding the variant coqide
------------------------------------+---------------------
Reporter: hippallium-macports@… | Owner: perry@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.4
Resolution: | Keywords:
Port: coq |
------------------------------------+---------------------
Comment (by hippallium-macports@…):
Indeed, in order to build lablgtk2, you need to downgrade ocaml-camlp4 to
version 4.02.0.1 (revision 131098 of the Portfile). It has been like that
for months (Ticket #48672).
--
Ticket URL: <https://trac.macports.org/ticket/50505#comment:8>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list