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 A8D4E7EEAF for ; Wed, 16 Jan 2013 18:46:37 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=209.85.214.52; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.214.52 as permitted sender) identity=mailfrom; client-ip=209.85.214.52; receiver=mail1-smtp-roc.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 (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f52.google.com) identity=helo; client-ip=209.85.214.52; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-bk0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYBADfm9lDRVdY0imdsb2JhbABFgmuDC7gJFg4BAQEKCQ0HEgYjgh4BAQU4CAEbHAEBAwwGBQsNCRYPCQMCAQIBEREBBQEcBg0BBwEBiAIBAw8Bm3WMNIJ7hQsKGScNWYclAQUMkSwDlgyOaD+EGA X-IronPort-AV: E=Sophos;i="4.84,480,1355094000"; d="scan'208";a="190243386" Received: from mail-bk0-f52.google.com ([209.85.214.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 18:46:37 +0100 Received: by mail-bk0-f52.google.com with SMTP id w5so840761bku.25 for ; Wed, 16 Jan 2013 09:46:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:message-id:date:from:user-agent:mime-version:to:cc :subject:references:in-reply-to:content-type :content-transfer-encoding; bh=I5Gr9LgeItTvDHa34KQFfUCeyM7Kpadm8Qm1MQY9P9c=; b=r+in/MN16DciDqykk+Gn1y0ePbqKHy+cUcwouIKRt5sKH8a61Qjky7ku90Kx3vPkE4 EAEeyMKhj3Pzhsxa50Ixvc/D74FOMZVQyKS4HI0UiyKoprVDUsrzLFkH9gWiaw6+z0MA Vkud2DOJpsYflyBU8g2LNyWTLaoQt0kt3+zxu82dQOGwSXF4vnr5Qtr5MC0iv6MGW3Li 8iA6/ZBsQcQXazVGfihhEydQ+SfVKtJUVHoAPVR5Db/0SYYspjjMRNjJegF32E12HiAl DJA0rkD/RFvvj/PAhJtyIAitzi9WQDMuQusLfgz9X0mExL1l5p49HFxLXMyXIqMya37n QOhQ== X-Received: by 10.204.154.202 with SMTP id p10mr708719bkw.29.1358358396854; Wed, 16 Jan 2013 09:46:36 -0800 (PST) Received: from ?IPv6:2001:660:3013:3:7d80:da44:5fcb:ab04? ([2001:660:3013:3:7d80:da44:5fcb:ab04]) by mx.google.com with ESMTPS id 18sm16292460bkv.0.2013.01.16.09.46.35 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 16 Jan 2013 09:46:36 -0800 (PST) Message-ID: <50F6E77B.8040405@gmail.com> Date: Wed, 16 Jan 2013 18:46:35 +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: Thomas Gazagnaire CC: Anil Madhavapeddy , OCaml mailing-list , Mirage List , Wojciech Meyer 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> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: fabrice.le_fessant@inria.fr Subject: Re: [Caml-list] [ANN] beta-release of OPAM On 01/16/2013 06:40 PM, Thomas Gazagnaire wrote: >> I would suggest that OPAM should always set the variable OCAMLFIND_CONF to $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 picking the wrong compiler. We just tried it with Roberto, and it worked. --Fabrice