Opened 9 years ago
Last modified 7 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 9 years ago by hippallium-macports@…
| Cc: | hippallium-macports@… added |
|---|
comment:4 Changed 9 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:6 follow-up: 8 Changed 9 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.
comment:7 follow-up: 9 Changed 9 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 Changed 9 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 Changed 9 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?
comment:10 follow-up: 11 Changed 9 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 Changed 9 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 7 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.
Cc Me!