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 960C37EEAF for ; Wed, 16 Jan 2013 15:50:48 +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.214.46; 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.214.46 as permitted sender) identity=mailfrom; client-ip=209.85.214.46; 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-bk0-f46.google.com) identity=helo; client-ip=209.85.214.46; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYCABS99lDRVdYujWdsb2JhbABFqxqSZAgWDgEBAQEHCwsJEgYjgh4BAQVAARsSCwEDDAYFCw0NISEBAREBBQEKEgYTEgmHawEDDwybAIwzgnuFCgoZJwMKWYcfAQUMi3yFMAOUNoFWgRyKG4MxFimEGA X-IronPort-AV: E=Sophos;i="4.84,479,1355094000"; d="scan'208";a="190211075" Received: from mail-bk0-f46.google.com ([209.85.214.46]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 15:50:48 +0100 Received: by mail-bk0-f46.google.com with SMTP id q16so747795bkw.33 for ; Wed, 16 Jan 2013 06:50:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=cXahfHTmLqVyVB1nZVaYsRepElX+17Ozt5iI0Xsjtzw=; b=O0f/R4zu5XllabrbrQbxo/OOT9V3ABSxlNytsPHbk2L4acY8eUH/2AYARDJkpBcyqN tzBFpPBzYUbhzgPwdIE/hEYJzf92UK5YC20jiGzDn6+sn1XQLNlD87oicVGMg2Y9dIqY 156ISfDnl98ck+LKD7WSWmhqSVUXQMjiBDk1rMpXJbGYLLKF1CnncuOzVvl1834CCIMm Fb57cq95F0tx/YqskLeFKVHgdDzAI4UcypkPQPvyI8Fzo/oj2XlhdPJ7pLyBI5z5A0Um y18MtBm/JEeupDCY749v64FW11Oy/DREeq7Aw9BfBj921nb39kJhKDUBHQ6/fI2XTWnw lXPw== X-Received: by 10.204.150.137 with SMTP id y9mr419151bkv.103.1358347847542; Wed, 16 Jan 2013 06:50:47 -0800 (PST) MIME-Version: 1.0 Received: by 10.204.236.134 with HTTP; Wed, 16 Jan 2013 06:50:07 -0800 (PST) In-Reply-To: References: <6833F17C-B642-4ED9-8C8F-2665A9742845@ocamlpro.com> <3764589D-EC12-4CD5-A76F-A009BE2DDE8E@ocamlpro.com> <3587ADE7-1423-4AB0-B510-DD55092E506D@recoil.org> <20130115194504.GA6280@voyager> <6AFFCDD6-A8C3-4351-A506-F13D930CF972@recoil.org> From: Gabriel Scherer Date: Wed, 16 Jan 2013 15:50:07 +0100 Message-ID: To: Wojciech Meyer Cc: Anil Madhavapeddy , Mirage List , OCaml mailing-list Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] [ANN] beta-release of OPAM I'm fine with whatever solution you'll devise. Let me take this occasion to thank you publicly for the numerous contribution you've brought to OCamlbuild in the last few months. We've not yet succeeded in encouraging other people to contribute (dear user: you should!), but fixing those little edge cases is very helpful. On Wed, Jan 16, 2013 at 3:43 PM, Wojciech Meyer wrote: > Then during the bootstrap process we should be probably specifing > explicitly the tool via command line, not relying on a fragile path > resolution. > The plan is however is to stop bootstrapping ocamlbuild at some point > soon as it brings minimal benefit for the cost of the very complicated > scripts. > > On Wed, Jan 16, 2013 at 12:13 PM, Gabriel Scherer > wrote: >> I suppose that the tool may want to use a different way of finding the >> OCaml executables during the OCaml, then ocamlbuild, bootstrap >> process. >> >> On Wed, Jan 16, 2013 at 11:08 AM, Wojciech Meyer >> wrote: >>> On Wed, Jan 16, 2013 at 10:01 AM, Anil Madhavapeddy wrote: >>>> Thanks for the quick fix! Looking at the patch, the problem >>>> seems to be that ocamlbuild distinguishes between built-in tools >>>> (presumably the ocaml toolchain binaries), and external tools. >>>> >>>> Is there any reason why ocamlbuild shouldn't just unconditionally >>>> search the PATH for the compiler tools as well? It's very confusing >>>> to have it override some binaries and not others. >>> >>> Yes, this area appears to me a bit hairy and over engineered. I see no >>> real benefit of having such complex logic there too instead of using >>> just PATH, but let me figure out if we can do it. >>> However, I'm sure these changes must be there for some reason, I will >>> ping Nicolas with the query today. >>> >>> -Wojciech >>> >>> -- >>> 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