#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