From: Gabriel Scherer <gabriel.scherer@gmail.com>
To: Florent Monnier <monnier.florent@gmail.com>
Cc: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] topdirs.cmi in 2 dirs warning
Date: Tue, 27 Nov 2012 10:10:46 +0100 [thread overview]
Message-ID: <CAPFanBEPF4QTs2OcZsm0Qh40PT8rLWhOwVwmQKM81==bvNDiyQ@mail.gmail.com> (raw)
In-Reply-To: <CAE1DttA7evzf882TYzi1cSGiOVUybFCjpNfiTcG3aYGtrqyL_w@mail.gmail.com>
[-- 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 --]
prev parent reply other threads:[~2012-11-27 9:12 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-11-26 22:36 Florent Monnier
2012-11-27 9:10 ` Gabriel Scherer [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAPFanBEPF4QTs2OcZsm0Qh40PT8rLWhOwVwmQKM81==bvNDiyQ@mail.gmail.com' \
--to=gabriel.scherer@gmail.com \
--cc=caml-list@inria.fr \
--cc=monnier.florent@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).