FS#18330 - [lablgtk2] compiled against an old version of OCaml

Attached to Project: Arch Linux
Opened by Guillaume Brunerie (Fractal) - Sunday, 14 February 2010, 23:07 GMT
Last edited by Tobias Powalowski (tpowa) - Sunday, 02 May 2010, 15:24 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Tobias Powalowski (tpowa)
Architecture x86_64
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 6
Private No

Details

Description:
The package lablgtk2 seems to be compiled against an old version of OCaml.

Steps to reproduce:
* Create an empty file a.ml.
* Try to compile this file with
ocamlc -I +lablgtk2 lablgtk.cma gtkInit.cmo a.ml
* I get the error
File "a.ml", line 1, characters 0-1:
Error: Files /usr/lib/ocaml/lablgtk2/lablgtk.cma(Glib)
and /usr/lib/ocaml/stdlib.cma(Buffer)
make inconsistent assumptions over interface Buffer

Additional info:
My system is up to date.
I recompiled lablgtk with ABS and everything works fine now.
I don’t know if the problem occurs only for x86_64 or also for i686.
This task depends upon

Closed by  Tobias Powalowski (tpowa)
Sunday, 02 May 2010, 15:24 GMT
Reason for closing:  Fixed
Additional comments about closing:  2.14.0-2
Comment by Paolo (paolo) - Thursday, 25 February 2010, 18:32 GMT
To solve this bug the only thing you have to do is to rebuild the package on an updated system.
I suggest this should be done systematically on every ocaml update (as for each ocaml library package)
Comment by Pascal Wittmann (pSub) - Tuesday, 27 April 2010, 15:14 GMT
I rebuilded the package against the current ocaml version and small test programms are working now. But when I try to compile coq (http://www.lix.polytechnique.fr/coq/) I get the following error:

make -f Makefile.stage3 "world"
make[1]: Entering directory `/home/pascal/sandbox/coq-8.2pl1'
CHECK revision
OCAMLC ide/utils/okey.ml
File "ide/utils/okey.ml", line 1, characters 0-1:
Error: The files /usr/lib/ocaml/lablgtk2/gObj.cmi and ide/utils/okey.cmi
make inconsistent assumptions over interface Buffer
make[1]: *** [ide/utils/okey.cmo] Error 2
make[1]: Leaving directory `/home/pascal/sandbox/coq-8.2pl1'
make: *** [world] Error 2

Loading...