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!
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!
FS#31492 - [ocaml] must be recompiled with ocaml-4.00.0
Attached to Project:
Community Packages
Opened by Roy (roysc) - Tuesday, 11 September 2012, 07:50 GMT
Last edited by Tobias Powalowski (tpowa) - Wednesday, 12 September 2012, 06:51 GMT
Opened by Roy (roysc) - Tuesday, 11 September 2012, 07:50 GMT
Last edited by Tobias Powalowski (tpowa) - Wednesday, 12 September 2012, 06:51 GMT
|
DetailsDescription:
Must be recompiled with ocaml-4.00 for full compatibility with OCaml standard libraries. Additional info: * version: 1.3.3-1 Steps to reproduce: Install current ocaml package, 4.00.0-1. Install current ocaml-findlib. Run ocaml toplevel, issuing the following: # #use "topfind";; File "/usr/lib/ocaml/topfind", line 16, characters 12-41: Error: Unbound module Toploop After adding the following line to that file: #directory "+compiler-libs";; # #use "topfind";; The files /usr/lib/ocaml/findlib/findlib.cma and /usr/bin/ocaml disagree over interface Pervasives The files /usr/lib/ocaml/findlib/findlib_top.cma and /usr/lib/ocaml/compiler-libs/toploop.cmi disagree over interface Annot - : unit = () File "/usr/lib/ocaml/topfind", line 1: Error: /usr/lib/ocaml/findlib/topfind.cmi is not a compiled interface for this version of OCaml. It seems to be for an older version of OCaml. |
This task depends upon
Closed by Tobias Powalowski (tpowa)
Wednesday, 12 September 2012, 06:51 GMT
Reason for closing: Fixed
Additional comments about closing: 4.00.0-2
Wednesday, 12 September 2012, 06:51 GMT
Reason for closing: Fixed
Additional comments about closing: 4.00.0-2