The top*.cmi files were previously distributed at the root of the ocaml lib directory. At 4.00, the compiler-libs/ directory was created upstream to host all the exported interfaces of the compiler, and toplevel stuff was naturally moved there. This broke some install scripts of OCaml libraries that still assumed it was at the root, so for backward compatibility the file is present in both places.

If you have control over the whole package repository of your system, you may fix user packages to use the toplevel libraries in compiler-libs/ rather than at the root -- it's the most coherent choice -- and remove the copies at the root. I must say that just ignoring the warning for now looks simpler. Most library authors still support 3.X and with good reasons, so they won't change overnight.

On Mon, Nov 26, 2012 at 11:36 PM, Florent Monnier <monnier.florent@gmail.com> wrote:
Hi,
with ocaml-4.00.1 there are warnings with topdirs.cmi in 2 directories:

$ md5sum /usr/lib/ocaml/topdirs.cmi /usr/lib/ocaml/compiler-libs/topdirs.cmi
7d6713e935533a6a4cf6c4f72cef5af1  /usr/lib/ocaml/topdirs.cmi
7d6713e935533a6a4cf6c4f72cef5af1  /usr/lib/ocaml/compiler-libs/topdirs.cmi

Should we just ignore it? For packaging purpose should we remove one of these?
If yes, which?

Thanks

--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs