[MacPorts] #50505: Mistakes in Portfile regarding the variant coqide
#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
#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 | ------------------------------------+--------------------- Changes (by mf2k@…): * keywords: coqide, lablgtk2, gtksourceview2 => * cc: perry@…, hippallium-macports@… (removed) * owner: macports-tickets@… => perry@… Comment: As reporter, you do not need to Cc yourself. -- Ticket URL: <https://trac.macports.org/ticket/50505#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X
#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 khindenburg@…): I think you're changes are correct but I can't get lablgtk2 to build ATM so I can't test this. -- Ticket URL: <https://trac.macports.org/ticket/50505#comment:6> MacPorts <https://www.macports.org/> Ports system for OS X
#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 perry@…): If the original reporter will supply a patch file, I'll test it and see about getting it committed. Otherwise it may be a little while until I get to it. -- Ticket URL: <https://trac.macports.org/ticket/50505#comment:7> MacPorts <https://www.macports.org/> Ports system for OS X
#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
#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@…): Replying to [comment:7 perry@…]:
If the original reporter will supply a patch file, I'll test it and see about getting it committed. Otherwise it may be a little while until I get to it.
Gladly. But how can I state in the Portfile that the dependency lablgtk2 has to be built with the variant gtksourceview2? -- Ticket URL: <https://trac.macports.org/ticket/50505#comment:9> MacPorts <https://www.macports.org/> Ports system for OS X
#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 perry@…): Precisely the issues. I think fixing ticket #48672 without a downgrade is a prerequisite here, and I'm unsure how to specify a dependency on a port variant. -- Ticket URL: <https://trac.macports.org/ticket/50505#comment:10> MacPorts <https://www.macports.org/> Ports system for OS X
#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
participants (1)
-
MacPorts