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
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To No-one
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

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

Closed by  Jan de Groot (JGC)
Sunday, 05 February 2017, 12:55 GMT
Reason for closing:  Implemented
Comment by Jan de Groot (JGC) - Tuesday, 31 January 2017, 22:21 GMT
Gtksourceview is no longer maintained. I removed all bindings except rsvg and gtk2 from the package.

If you want deprecated library bindings back, package something yourself.
Comment by Baptiste (zorun) - Friday, 03 February 2017, 17:14 GMT
  • Field changed: Percent Complete (100% → 0%)
I planned to move coq to [community] soon, and it needs the gtksourceview2 bindings. Since lablgtk2 does not support GTK3, it is currently not possible for coq to use the newer gtksourceview3 library.

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/
Comment by Baptiste (zorun) - Friday, 03 February 2017, 17:24 GMT
Jan, if I understand correctly, you removed all library bindings because libgnomeui was moved to the AUR.

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.

Loading...