Arch Linux

Please read this before reporting a bug:

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

FS#68503 - [lablgtk2] rebuild required after ocaml update

Attached to Project: Arch Linux
Opened by Cyril Berger (landryl) - Monday, 02 November 2020, 14:37 GMT
Last edited by Felix Yan (felixonmars) - Saturday, 10 April 2021, 20:32 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To No-one
Architecture All
Severity High
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 6
Private No



The lablgtk2 package seems to require recompiling. This is the one I ran into, other ocaml dependant package might be facing similar issues.

Error example:
Error: Files /usr/lib/ocaml/lablgtk2/lablgtk.cmxa
and /usr/lib/ocaml/stdlib.cmxa
make inconsistent assumptions over implementation Stdlib__nativeint

Additional info:
* package version(s) : 2.18.11-2 (and ocaml 4.11.1-1)

Steps to reproduce:
* Error can be reproduced when attempting to compile proverif (AUR)
This task depends upon

Closed by  Felix Yan (felixonmars)
Saturday, 10 April 2021, 20:32 GMT
Reason for closing:  Fixed
Additional comments about closing:  lablgtk2 2.18.11-3
Comment by Fikri Muhammad Iqbal (fikrimi) - Friday, 06 November 2020, 13:15 GMT
Just to confirm, I rebuild the lablgtk2 from the PKGBUILD, and now I can build unison-git successfully
Comment by Max Ammann (maxammann) - Friday, 02 April 2021, 09:08 GMT Comment by Ram Pani (DuckSoft) - Saturday, 10 April 2021, 08:47 GMT
Bug confirmed. Please rebuild the package. Thanks.