Opened 5 years ago

Last modified 2 years ago

#50505 new defect

Mistakes in Portfile regarding the variant coqide

Reported by: hippallium-macports@… Owned by: pmetzger (Perry E. Metzger)
Priority: Normal Milestone:
Component: ports Version: 2.3.4
Keywords: Cc: kurthindenburg (Kurt Hindenburg)
Port: coq

Description

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

Change History (12)

comment:1 Changed 5 years ago by hippallium-macports@…

Cc: hippallium-macports@… added

Cc Me!

comment:2 Changed 5 years ago by hippallium-macports@…

Cc: hippallium-macports@… removed

Cc Me!

comment:3 Changed 5 years ago by hippallium-macports@…

Cc: hippallium-macports@… added

Cc Me!

comment:4 Changed 5 years ago by mf2k (Frank Schima)

Cc: perry@… hippallium-macports@… removed
Keywords: coqide lablgtk2 gtksourceview2 removed
Owner: changed from macports-tickets@… to perry@…

As reporter, you do not need to Cc yourself.

comment:5 Changed 5 years ago by kurthindenburg (Kurt Hindenburg)

Cc: khindenburg@… added

Cc Me!

comment:6 Changed 5 years ago by kurthindenburg (Kurt Hindenburg)

I think your changes are correct but I can't get lablgtk2 to build ATM so I can't test this.

Last edited 5 years ago by kurthindenburg (Kurt Hindenburg) (previous) (diff)

comment:7 Changed 5 years ago by pmetzger (Perry E. Metzger)

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.

comment:8 in reply to:  6 Changed 5 years ago 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).

comment:9 in reply to:  7 Changed 5 years ago by hippallium-macports@…

Replying to 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? And is it possible to force an earlier version of ocaml-camlp4?

Last edited 5 years ago by hippallium-macports@… (previous) (diff)

comment:10 Changed 5 years ago by pmetzger (Perry E. Metzger)

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.

comment:11 in reply to:  10 Changed 5 years ago by mf2k (Frank Schima)

Replying to perry@…:

and I'm unsure how to specify a dependency on a port variant.

You cannot. However, you can use the active variants portgroup.

comment:12 Changed 2 years ago by pmetzger (Perry E. Metzger)

Here's a question: is it actually necessary to have the variants of lablgtk2 rather than just building it with the various extra libraries by default? I may fix this that way.

Note: See TracTickets for help on using tickets.