caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] topdirs.cmi in 2 dirs warning
@ 2012-11-26 22:36 Florent Monnier
  2012-11-27  9:10 ` Gabriel Scherer
  0 siblings, 1 reply; 2+ messages in thread
From: Florent Monnier @ 2012-11-26 22:36 UTC (permalink / raw)
  To: Caml List

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

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] topdirs.cmi in 2 dirs warning
  2012-11-26 22:36 [Caml-list] topdirs.cmi in 2 dirs warning Florent Monnier
@ 2012-11-27  9:10 ` Gabriel Scherer
  0 siblings, 0 replies; 2+ messages in thread
From: Gabriel Scherer @ 2012-11-27  9:10 UTC (permalink / raw)
  To: Florent Monnier; +Cc: Caml List

[-- Attachment #1: Type: text/plain, Size: 1538 bytes --]

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
>

[-- Attachment #2: Type: text/html, Size: 2139 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2012-11-27  9:12 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-11-26 22:36 [Caml-list] topdirs.cmi in 2 dirs warning Florent Monnier
2012-11-27  9:10 ` Gabriel Scherer

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).