FS#52796 - [lablgtk2] Missing /usr/lib/ocaml/lablgtk2/gSourceView2.cmi.
Attached to Project:
Arch Linux
Opened by Nicolas I. (IooNag) - Tuesday, 31 January 2017, 19:11 GMT
Last edited by Jan de Groot (JGC) - Sunday, 05 February 2017, 12:55 GMT
Opened by Nicolas I. (IooNag) - Tuesday, 31 January 2017, 19:11 GMT
Last edited by Jan de Groot (JGC) - Sunday, 05 February 2017, 12:55 GMT
|
Details
Description:
When trying to build coq AUR package, makepkg fails with the following error: ==> Starting build()... LablGtk2 not found: => cannot build requested CoqIde Configuration script failed! You have OCaml 4.04.0. Good! You have native-code compilation. Good! Incomplete LablGtk2 (via ocamlfind): no /usr/lib/ocaml/lablgtk2/gSourceView2.cmi. Incomplete LablGtk2 (in OCaml library): no /usr/lib/ocaml/lablgtk2/gSourceView2.cmi. ==> ERROR: A failure occurred in build(). Aborting... Indeed lablgtk2 2.18.5-3 provides /usr/lib/ocaml/lablgtk2/gSourceView2.mli but not the ...cmi file. lablgtk2 2.18.5-2 provided this file. This seems to be a side effet of a recent change in lablgtk2 package (commit https://git.archlinux.org/svntogit/packages.git/commit/trunk?h=packages/lablgtk2&id=04c5a7d9156260770938bcbea895335ccf00a72d removed some bindings). Does this mean that Coq developers need to update their code in order to no longer rely on /usr/lib/ocaml/lablgtk2/gSourceView2.cmi? If so, lablgtk2 would be all right and it would be an upstream bug in coq package. Additional info: * package versiosn: lablgtk2 2.18.5-3, coq 8.5pl3 Steps to reproduce: Download coq PKGBUILD (https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=coq) and run makepkg |
This task depends upon
If you want deprecated library bindings back, package something yourself.
Is there any security-related reason to remove this binding? I didn't find any CVE related to either gtksourceview2 or lablgtk2.
If this is not security-related, can you please add the gtksourceview2 binding back? It seems to have a number of other users anyway: https://www.archlinux.org/packages/extra/x86_64/gtksourceview2/
If you could add just the gtksourceview2 bindings back, it would be awesome. gtksourceview2 is obsolete but still works, and all the other bindings you removed are useless for coq anyway.