#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 mf2k@…): Replying to [comment:10 perry@…]:
and I'm unsure how to specify a dependency on a port variant.
[ticket:126 You cannot]. However, you can use the [wiki:PortfileRecipes#require_active_variants active variants portgroup]. -- Ticket URL: <https://trac.macports.org/ticket/50505#comment:11> MacPorts <https://www.macports.org/> Ports system for OS X