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 0C3977EEAF for ; Wed, 16 Jan 2013 11:08:14 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=209.85.214.169; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of wojciech.meyer@gmail.com designates 209.85.214.169 as permitted sender) identity=mailfrom; client-ip=209.85.214.169; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@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-ob0-f169.google.com) identity=helo; client-ip=209.85.214.169; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="postmaster@mail-ob0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqsCALV69lDRVdapjWdsb2JhbABFukSDOggWDgEBAQEJCQsJEgYjgh4BAQVAARsdAQMMBgULDS4iAREBBQEcBhMIh34BAw+aWYwzgnuFBAoZJw1Zhx8BBQyRLAOWDI5oFimEFw X-IronPort-AV: E=Sophos;i="4.84,478,1355094000"; d="scan'208";a="190152816" Received: from mail-ob0-f169.google.com ([209.85.214.169]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 11:08:13 +0100 Received: by mail-ob0-f169.google.com with SMTP id v19so1158862obq.28 for ; Wed, 16 Jan 2013 02:08:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=Sajp9+7mCMXpzUuK+p/H+yKHHnvm01HD+JFMmpQqOJc=; b=UJCzw1PDBFf0maVPRi/rbIoXb/K9KtaEGeA5DigKT0uRzgIB2BsqldGVFGrbymsOYQ sE945TWkimui+ENVNC92K8oFKqNfMVA9a4hI6cWzR2K+nqhm4lBv+oZ8+hY4qHBPFgAc oxkiF/W9DFGj3c4MAijdfwmzAQ1QGuS8QW+oPEbsphPswYoW8TtDftj8pxlGsLzGYrtu hCSEm+vWET/aftbDEMBxtuuR/4RhLwPUug8Rd/06jDD9buxdLrEjLncMgC9t+pmK4XWp Y8Ldn5gAZ2Sncr+fz6SkK2cfK2/VnOdBccgw86c5F5jFmFvz8SZlCHS3sHUqhD/gsJL+ HzYw== MIME-Version: 1.0 X-Received: by 10.182.154.4 with SMTP id vk4mr351192obb.70.1358330892281; Wed, 16 Jan 2013 02:08:12 -0800 (PST) Received: by 10.182.221.71 with HTTP; Wed, 16 Jan 2013 02:08:12 -0800 (PST) In-Reply-To: <6AFFCDD6-A8C3-4351-A506-F13D930CF972@recoil.org> 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> Date: Wed, 16 Jan 2013 10:08:12 +0000 Message-ID: From: Wojciech Meyer To: Anil Madhavapeddy Cc: Mirage List , OCaml mailing-list Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] [ANN] beta-release of OPAM 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