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 6BE687EEAF for ; Wed, 16 Jan 2013 21:22:28 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.42; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.42 as permitted sender) identity=mailfrom; client-ip=74.125.82.42; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@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-f42.google.com) identity=helo; client-ip=74.125.82.42; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wg0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjgKAJIK91BKfVIqjWdsb2JhbABEg26nL4xLhQ0CgQgWDgEBAQEJCQsJEgYjgh4BAQU6BgEUGQsBAwwBBQUYCQQhDwUgAQUBAQkYEwkJh3UDDwQDBZt9jy+FMCcDCogKAQUMCYx7SIJ/YQOWC4Edih6DLj+BWIJAgW4 X-IronPort-AV: E=Sophos;i="4.84,480,1355094000"; d="scan'208";a="168706393" Received: from mail-wg0-f42.google.com ([74.125.82.42]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jan 2013 21:22:26 +0100 Received: by mail-wg0-f42.google.com with SMTP id dr1so2958312wgb.5 for ; Wed, 16 Jan 2013 12:22:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:date:from:to:cc:subject:message-id:references :mime-version:content-type:content-disposition:in-reply-to :user-agent; bh=01UtEVH+u+Jquog7uvow3JYi63T2x81OnqtgwLHqZjo=; b=yT9NE9A1Jh7Z7iiYMOJ/80uNwTElfsALvdYqgZmZIM2VOUfOAI7FxYLvk0FA2yQvGx Mr0hJUGXdvHYinNgAmt4zgSYiYdeN6s7DTdFCFXBbrwDo309nK7X3Fh4Fz0lfxNgtTSc QGJu7u4fASlEGcvFT+o5+epoEHprAk0jkKIMIgxmFNoY372B+3D5GbZKKrIWrL1BlbcB kBpkHqw8lPGKuE5KQeKo3rKKyJ7TeVYXqfz9czAi6NrHVqaE0XFxZeOuomq9KhweM4wR mDKt+rWoLFvaWuCGeA8DJtgqjhwLb3e81W4Xs8VVt3TlPJ+9uknew1HK6IeEi4WspqeG br1A== X-Received: by 10.194.23.37 with SMTP id j5mr4488260wjf.28.1358367745611; Wed, 16 Jan 2013 12:22:25 -0800 (PST) Received: from voyager (bny92-3-81-56-44-163.fbx.proxad.net. [81.56.44.163]) by mx.google.com with ESMTPS id l5sm10829270wia.10.2013.01.16.12.22.23 (version=TLSv1 cipher=RC4-SHA bits=128/128); Wed, 16 Jan 2013 12:22:24 -0800 (PST) Sender: Roberto Di Cosmo Received: from dicosmo by voyager with local (Exim 4.72) (envelope-from ) id 1TvZV8-0008Qu-3R; Wed, 16 Jan 2013 21:22:22 +0100 Date: Wed, 16 Jan 2013 21:22:21 +0100 From: Roberto Di Cosmo To: Fabrice Le Fessant Cc: Thomas Gazagnaire , Anil Madhavapeddy , OCaml mailing-list , Mirage List , Wojciech Meyer Message-ID: <20130116202221.GA30252@voyager> References: <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> <50F6E77B.8040405@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <50F6E77B.8040405@gmail.com> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] [ANN] beta-release of OPAM Hmm... these two assertions are not necessarily contradictory: - on my test virtual machine, ocamlfind did not find the packages installed with opam, and this did the trick (thanks Fabrice!) - but I only had one version of the compiler ... and I do suspect that with multiple versions it will not be enough -- Roberto On Wed, Jan 16, 2013 at 06:46:35PM +0100, Fabrice Le Fessant wrote: > 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 > > -- > 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 -- Roberto Di Cosmo ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: roberto@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 6C08 (6th floor) 175, rue du Chevaleret, XIII Metro Chevaleret, ligne 6 ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3