From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 03DF27F1DA for ; Tue, 27 Nov 2012 10:12:00 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ie0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjABAKSDtFDRVd+2mGdsb2JhbABErViJOokNCCQBAQEBAQgJDQcUJ4IeAQEEAUABGxILAQMBCwYFBAcaISEBAREBBQEKEgYTEodoAQMJBgyhXowzgW6BCoUQChknAwpZiHUBBQyLPmmEQQOULIFVgRyKGIMwFimEEQ X-IronPort-AV: E=Sophos;i="4.83,326,1352070000"; d="scan'208";a="183385267" Received: from mail-ie0-f182.google.com ([209.85.223.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Nov 2012 10:11:28 +0100 Received: by mail-ie0-f182.google.com with SMTP id s9so19891130iec.27 for ; Tue, 27 Nov 2012 01:11:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=A9YVCcWv8CUJCnD3kFH3QCEz62r7HsCHjkl0KjTwodU=; b=cAiFEYWHSaOZq+k20gsHROR/+ABCKlJc9/Dy7p4nKRfi8bkQO68K3qib/7YVzXSzHh BaLr84oKkExyyzIP0uLEPTkWs9G6qI6dIA/PavFpqHCgztfSfhC24yxV+cOQqCFCAWoq wc0IWIj7eH0vn0tjskyZ9LBEXMKSPU8zaKTXslA+Aq9aSMB2iP3LT7ze67A3ZMb/zvHZ qnbRqYUid1fm1HyN57JUX84kQGDgPEPwZOgWL+ZryDNbv6mH3SC+qqg/Z009gURJ0aJw FF/kvEFaGCNA4xF0Zmj0vmBBB0DlX3g+vyY0oCpiakXdRJ+xSdporualzQDLQHRDwTNU MBKQ== Received: by 10.42.138.74 with SMTP id b10mr13255471icu.33.1354007487127; Tue, 27 Nov 2012 01:11:27 -0800 (PST) MIME-Version: 1.0 Received: by 10.50.184.199 with HTTP; Tue, 27 Nov 2012 01:10:46 -0800 (PST) In-Reply-To: References: From: Gabriel Scherer Date: Tue, 27 Nov 2012 10:10:46 +0100 Message-ID: To: Florent Monnier Cc: Caml List Content-Type: multipart/alternative; boundary=90e6ba6138a24b21b804cf766fb3 Subject: Re: [Caml-list] topdirs.cmi in 2 dirs warning --90e6ba6138a24b21b804cf766fb3 Content-Type: text/plain; charset=ISO-8859-1 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 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 > --90e6ba6138a24b21b804cf766fb3 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 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 h= ost all the exported interfaces of the compiler, and toplevel stuff was nat= urally moved there. This broke some install scripts of OCaml libraries that= still assumed it was at the root, so for backward compatibility the file i= s present in both places.

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

On Mon, Nov 26, 2012 at 11:36 PM, Florent Mo= nnier <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.cm= i
7d6713e935533a6a4cf6c4f72cef5af1 =A0/usr/lib/ocaml/topdirs.cmi
7d6713e935533a6a4cf6c4f72cef5af1 =A0/usr/lib/ocaml/compiler-libs/topdirs.cm= i

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

Thanks

--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://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

--90e6ba6138a24b21b804cf766fb3--