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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9A7C87EE49 for ; Mon, 18 Feb 2013 11:55:27 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=74.125.83.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fabrissimo@gmail.com designates 74.125.83.49 as permitted sender) identity=mailfrom; client-ip=74.125.83.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ee0-f49.google.com) identity=helo; client-ip=74.125.83.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-ee0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtMDADEHIlFKfVMxcGdsb2JhbAArGoJmgxxHhVu1ABYOARULCAEUBCOCHwEBBSMdATcBAQMMAQUFGAkWCwICCQMCAQIBIgEFARwGDQEHAQEXh2UDDwELLaEii2ODSoQQJw2JVAEFDJFfgRMDjxiBJYVvgR2NWT+BWYJS X-IPAS-Result: AtMDADEHIlFKfVMxcGdsb2JhbAArGoJmgxxHhVu1ABYOARULCAEUBCOCHwEBBSMdATcBAQMMAQUFGAkWCwICCQMCAQIBIgEFARwGDQEHAQEXh2UDDwELLaEii2ODSoQQJw2JVAEFDJFfgRMDjxiBJYVvgR2NWT+BWYJS X-IronPort-AV: E=Sophos;i="4.84,686,1355094000"; d="vcf'?scan'208";a="2557585" Received: from mail-ee0-f49.google.com ([74.125.83.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Feb 2013 11:55:26 +0100 Received: by mail-ee0-f49.google.com with SMTP id d4so2690787eek.8 for ; Mon, 18 Feb 2013 02:55:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:message-id:date:from:user-agent:mime-version:to :cc:subject:references:in-reply-to:content-type; bh=Ys7qE1lVE6NRtqqRQRpaKGTjNcOqXjNLQhYDjGF93yo=; b=dlxPOooK33XbTtgvf023mkgbwZ/0rfYPuncQXdWuKg4ETJ1gTP6+0IqAvpFJHtiLc+ s7EvGveaf+I21hHUsqHimSti8EMmSJDgyJkLB09kYRd+FGNJpO3U2AVapTLzJp8i1yWS lraRNoe0HviOWFYDPeRiuExz+Yuvdm8HyuYDYpvTnlmDtOXIH2qKG/deExBgEE13zMUY dZLj3FTx+7aOjf3a8O+1VLUKEdAy08vH63OIH1ky3bJHZWTrtCo+i53ToJVskC26MnL3 H9HZtYj6UQ9edIItcEcelKNhSgJe93kD7joSIZFoPuWwhTUL+FYNa/nSxQ1JeWcdDjCG +kxA== X-Received: by 10.14.209.131 with SMTP id s3mr43269712eeo.26.1361184926696; Mon, 18 Feb 2013 02:55:26 -0800 (PST) Received: from ?IPv6:2001:660:3013:3:7d16:ea7:9c85:53e9? ([2001:660:3013:3:7d16:ea7:9c85:53e9]) by mx.google.com with ESMTPS id u44sm37882174eel.7.2013.02.18.02.55.25 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 18 Feb 2013 02:55:26 -0800 (PST) Sender: Fabrice Le Fessant Message-ID: <5122089D.9060508@inria.fr> Date: Mon, 18 Feb 2013 11:55:25 +0100 From: Fabrice Le Fessant User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130106 Thunderbird/17.0.2 MIME-Version: 1.0 To: Gabriel Scherer CC: oliver , caml-list@inria.fr References: <20130218065509.GA15296@siouxsie> In-Reply-To: Content-Type: multipart/mixed; boundary="------------000203080905050407050107" Subject: Re: [Caml-list] Some warnings, when building opt.opt from 4.00.1 This is a multi-part message in MIME format. --------------000203080905050407050107 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Hi, On 02/18/2013 11:40 AM, Gabriel Scherer wrote: > This is a known build issue that appears since the addition of a > warning when the same bytecode module is linked twice: > http://caml.inria.fr/mantis/view.php?id=5461 > > The subtleties of the compiler bootstrapping process make it difficult > to fix in a satisfying way, so for now it has been left as is. I re-opened the bug. We had a first solution based on modifying scripts to ignore stdlib modules. I will test it and commit it if it works. --Fabrice --------------000203080905050407050107 Content-Type: text/x-vcard; charset=utf-8; name="fabrice_le_fessant.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="fabrice_le_fessant.vcf" begin:vcard fn:Fabrice LE FESSANT n:LE FESSANT;Fabrice org:INRIA Saclay -- Ile-de-France;P2P & OCaml adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France email;internet:fabrice.le_fessant@inria.fr title;quoted-printable:Charg=C3=A9 de Recherche tel;work:+33 1 74 85 42 14 tel;fax:+33 1 74 85 42 49 url:http://fabrice.lefessant.net/ version:2.1 end:vcard --------------000203080905050407050107--