#50505: Mistakes in Portfile regarding the variant coqide ----------------------------------------------+---------------------------- Reporter: hippallium-macports@… | Owner: macports- Type: defect | tickets@… Priority: Normal | Status: new Component: ports | Milestone: Keywords: coqide, lablgtk2, gtksourceview2 | Version: 2.3.4 | Port: coq ----------------------------------------------+---------------------------- There are two mistakes in the Coq Portfile that prevent from installing the variant coqide: * The “none” at near the end of the Portfile should instead be a “no”. * The dependency lablgtk2 has to be built with the variant gtksourceview2 -- Ticket URL: <https://trac.macports.org/ticket/50505> MacPorts <https://www.macports.org/> Ports system for OS X