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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 381B77EEAF for ; Wed, 16 Jan 2013 18:40:14 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.48; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.48 as permitted sender) identity=mailfrom; client-ip=74.125.82.48; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f48.google.com) identity=helo; client-ip=74.125.82.48; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wg0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq8BAIHk9lBKfVIwjWdsb2JhbABFvX8WDgEBAQEJCQsJEgYjgh4BAQQBOgYBOAEDAQsBBQUYLiETAQUBHAYTiAcDCQYEm3CPL4UsJw2HfgEFDIt8hE9hA5Q2h0GFTIMxP4FYgj8 X-IronPort-AV: E=Sophos;i="4.84,480,1355094000"; d="scan'208";a="168694735" Received: from mail-wg0-f48.google.com ([74.125.82.48]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 18:40:12 +0100 Received: by mail-wg0-f48.google.com with SMTP id 16so158521wgi.3 for ; Wed, 16 Jan 2013 09:40:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:subject:mime-version:content-type:from :in-reply-to:date:cc:content-transfer-encoding:message-id:references :to:x-mailer; bh=rXxTeTtU0xBQh40F2pjkfxXzO/AOop7x4DePsdiIvnE=; b=hyKBleGwbbkNtIrqnMb3HfYT+z55gSj3Z7fUB/uoQXTv4/LBvqrBWv8wyy9OZLrOkg 2KLzol14O7+acCb7U3bSMxsC0IpvJxTkFr9+Mn+RUAinRkJMm5HD+AvXlHmY/D5wTvNt kRP9gHtbntNvXSjeZ2JO5Q0SVZZHCEAmOKSMkEALdDz+KF6Aesqfrtjb1RaScmvFMg/q 2CTFuAPPHpup6mBv4xJk0YI0J20Y6N1XEYDG4O1xsBZAm3tjJ4xfwR24sZxquwhDP//b a4jyiMGYNp2DpIEwP+4f8mn3FrDXb2/3zONXIbRjieBLJsGhT5VKesWvBNS2eGKqJQrg Ad9A== X-Received: by 10.180.102.170 with SMTP id fp10mr11290121wib.13.1358358011459; Wed, 16 Jan 2013 09:40:11 -0800 (PST) Received: from [192.168.15.162] ([62.49.66.12]) by mx.google.com with ESMTPS id gz3sm9283199wib.2.2013.01.16.09.40.09 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 16 Jan 2013 09:40:10 -0800 (PST) Sender: Thomas Gazagnaire Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=us-ascii From: Thomas Gazagnaire In-Reply-To: <50F6E2E9.5020305@gmail.com> Date: Wed, 16 Jan 2013 17:40:08 +0000 Cc: Anil Madhavapeddy , OCaml mailing-list , Mirage List , Wojciech Meyer Content-Transfer-Encoding: quoted-printable Message-Id: 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> <50F6E2E9.5020305@gmail.com> To: Fabrice Le Fessant X-Mailer: Apple Mail (2.1085) Subject: Re: [Caml-list] [ANN] beta-release of OPAM > I would suggest that OPAM should always set the variable OCAMLFIND_CONF t= o $HOME/.opam/$COMPILER/lib/findlib.conf, so that, whatever the "ocamlfind"= that ocamlbuild uses, it will always use the packages installed by OPAM. I've tried that and unfortunately this didn't seem to work. ocamlfind is pi= cking the wrong compiler. -- Thomas >=20 > Can't this be automatically done by defining the variable in the .opam of= ocamlfind ? >=20 > --Fabrice >=20 > On 01/16/2013 11:01 AM, Anil Madhavapeddy wrote: >> On 15 Jan 2013, at 21:12, Wojciech Meyer wrot= e: >>=20 >>> Roberto Di Cosmo writes: >>>=20 >>>> I can confirm this : on opam 0.8.3, this bug prevented me from >>>> compiling properly a test code for Parmap. >>>> It definitely needs to be fixed :-) >>>=20 >>> It's been fixed on trunk now. >>=20 >> 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. >>=20 >> 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. >>=20 >> -anil >>=20 >=20