Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

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!
Tasklist

FS#25216 - [camlp5] Interface inconsistency

Attached to Project: Community Packages
Opened by Samuel Tardieu (oneeyed) - Friday, 22 July 2011, 12:13 GMT
Last edited by Thomas Dziedzic (tomd123) - Saturday, 23 July 2011, 04:16 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Thomas Dziedzic (tomd123)
Architecture x86_64
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description: It looks like camlp5 and oc1aml are using inconsistent assumptions over interface Arg (as told by the compiler).


Additional info:
* ocaml-3.12.1-
* camlp5-6.02.3-1

Steps to reproduce:

When compiling "geneweb" from AUR, which uses ocaml and camlp5, the following error is shows:

camlp5r pa_extend.cmo q_MLast.cmo -o pa_macro5.ppo pa_macro5.ml
ocamlc -c -I `camlp5 -where` -impl pa_macro5.ppo
File "pa_macro5.ml", line 1, characters 0-1:
Error: The files /usr/lib/ocaml/camlp5/pcaml.cmi and /usr/lib/ocaml/arg.cmi
make inconsistent assumptions over interface Arg
make[1]: *** [pa_macro5.cmo] Error 2
This task depends upon

Closed by  Thomas Dziedzic (tomd123)
Saturday, 23 July 2011, 04:16 GMT
Reason for closing:  Fixed
Additional comments about closing:  pkgrel 2
Comment by Thomas Dziedzic (tomd123) - Friday, 22 July 2011, 15:41 GMT
according to http://caml.inria.fr/pub/ml-archives/caml-list/2003/09/8372235a7a109f2372eb48fbcbb2c610.en.html
I should rebuild it against the latest ocaml

I pushed an updated camlp5 package pkgrel 2 into community which should fix this problem.
Please confirm that it fixes it
Comment by Samuel Tardieu (oneeyed) - Friday, 22 July 2011, 15:56 GMT
I don't see the -2 right now, but I can confirm that rebuilding camlp5 from PKGBUILD does indeed fix the compilation problem.
Comment by Thomas Dziedzic (tomd123) - Friday, 22 July 2011, 16:31 GMT
if your mirror doesn't sync soon, please try downloading it from http://www.archlinux.org/packages/community/x86_64/camlp5/

Loading...