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 C4DD67EEAF for ; Wed, 16 Jan 2013 13:14:15 +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.45; 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.45 as permitted sender) identity=mailfrom; client-ip=209.85.214.45; 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-f45.google.com) identity=helo; client-ip=209.85.214.45; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYCAFiY9lDRVdYtjWdsb2JhbABFqxqSZQgWDgEBAQEJCQsJEgYjgh4BAQVAARsSCwEDDAYFCw0NISEBAREBBQEKEgYTEod0AQMPDJpZjDOCe4UKChknAwpZhx8BBQyLfIUwA5Q2gVaBHIobgzEWKYQY X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="190179043" Received: from mail-bk0-f45.google.com ([209.85.214.45]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 13:14:15 +0100 Received: by mail-bk0-f45.google.com with SMTP id jk13so636711bkc.18 for ; Wed, 16 Jan 2013 04:14:14 -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=RYgs9gEU0tGl8Ay90Mw3CZ3dDJKekQKvgMi4NS1Nwt4=; b=C3UrjPQ2dplv0h/HTOnJegqP/4oEdRz0CdmsgXhVYqjIxqpQ2E00HVsd70jf++s8J+ cZgQPO0F77RLvCTdtPyPZavr11kl+KrGlnN44ZrpRS24PU8fPf3pA84l/tWH0nA/8G29 mJAk3/R1nQ7Gx/UpX3BsFUZy4nsQYMQ9z7oosSSukWfhJFOGlp6E5LegFV+0aGcoB+Mz 8sq3TeiaMFQptklbJiMLoSmWV+uQd/RZwL4NwVtWi9A5t8n1FSQ/kO9DvGwvBGUqCYzq aBzqJGGd86EjVIWiH4Bmly9DdJtEj67s6sW5o+veP1bKG07+LJ5uqBCNuOztZyhgphf/ bdlw== X-Received: by 10.204.136.207 with SMTP id s15mr269410bkt.5.1358338454613; Wed, 16 Jan 2013 04:14:14 -0800 (PST) MIME-Version: 1.0 Received: by 10.204.236.134 with HTTP; Wed, 16 Jan 2013 04:13:34 -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 13:13:34 +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 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