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 5F6F27EEAF for ; Tue, 15 Jan 2013 20:45:14 +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=209.85.160.47; 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 209.85.160.47 as permitted sender) identity=mailfrom; client-ip=209.85.160.47; 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-pb0-f47.google.com) identity=helo; client-ip=209.85.160.47; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-pb0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuwMAHWx9VDRVaAvk2dsb2JhbABFg2unKIxLgl+COgKBDRYOAQEBAQkJCwkUBCOCHgEBBToGARQZCwEDDAEFBRgJBCEPBSABBQEBCRgTCQmHdQMPBAMFmiCOJIEKhUEnAwqHdgEFDAmMe0iCf2EDlguBHYoegy4/gViCQIFu X-IronPort-AV: E=Sophos;i="4.84,475,1355094000"; d="scan'208";a="168575881" Received: from mail-pb0-f47.google.com ([209.85.160.47]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Jan 2013 20:45:13 +0100 Received: by mail-pb0-f47.google.com with SMTP id wz17so239962pbc.20 for ; Tue, 15 Jan 2013 11:45:11 -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=csZG3E507k+p/yLcqtfwLxGUzXkosfOk+veJNJTJy/Q=; b=ie1TidiIe7tDjkN/YjZcJIbPhTCoyEyzLsdcKGIDmDc263TWKx1XrSJEEKzBGbjI8i S453Vl7KQSEJV1omMb1Pdlyn7cQz652uWO+ss201DJvKFlO78d2vv9CFGSPMBA89Fw4D P3Mv0kSntI5w8wOVKr7buv8KkreBGWkQLTNg4lSHdnI88yJe5gMGktaq0mG7+Kym+oPU REi+Y0fLbxlSmyX2bOFnNmDDnXISYykhLRbPZ6pfYzPLvWoeWQux9pBwaBqt6u4dhJ7T rNZR3IW6RCgLn5AX/uxNXPmD27TetOTQ1UIJdZBQvnGedZT2r3vBdxA18NH9QoxfI6WW t0zw== X-Received: by 10.68.143.162 with SMTP id sf2mr266765274pbb.137.1358279111537; Tue, 15 Jan 2013 11:45:11 -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 wr4sm10723055pbc.72.2013.01.15.11.45.08 (version=TLSv1 cipher=RC4-SHA bits=128/128); Tue, 15 Jan 2013 11:45:10 -0800 (PST) Sender: Roberto Di Cosmo Received: from dicosmo by voyager with local (Exim 4.72) (envelope-from ) id 1TvCRU-0001fs-Cv; Tue, 15 Jan 2013 20:45:04 +0100 Date: Tue, 15 Jan 2013 20:45:04 +0100 From: Roberto Di Cosmo To: Anil Madhavapeddy Cc: Fabrice Le Fessant , Alan Schmitt , Thomas Gazagnaire , OCaml mailing-list , Mirage List Message-ID: <20130115194504.GA6280@voyager> References: <6833F17C-B642-4ED9-8C8F-2665A9742845@ocamlpro.com> <3764589D-EC12-4CD5-A76F-A009BE2DDE8E@ocamlpro.com> <3587ADE7-1423-4AB0-B510-DD55092E506D@recoil.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <3587ADE7-1423-4AB0-B510-DD55092E506D@recoil.org> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Re: [ANN] beta-release of OPAM 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 :-) On Tue, Jan 15, 2013 at 07:29:56PM +0000, Anil Madhavapeddy wrote: > There is just one odd corner case that I've been trying to track down. > > If you have ocamlfind installed in your system PATH, then the > "ocamlbuild -use-ocamlfind" mode seems to pick that one up in preference > to the OPAM-installed ocamlfind (which sits in ~/.opam//bin, and > is also on the PATH). > > I've not fixed that yet, but if you do run into odd bugs where an OPAM > package fails to build due to not finding a library, then try uninstalling > your system findlib, and the OPAM one should be picked up. > > This doesn't happen with OASIS ocamlfind invocations, but only with the > -use-ocamlfind mode of ocamlbuild. > > -anil > > On 15 Jan 2013, at 19:25, Fabrice Le Fessant wrote: > > > OPAM installs everything in ~/.opam by default, so it won't pollute > > your current installation of OCaml. You have to use: > > > > eval `opam config -env` > > > > in a terminal to start using the version of OCaml installed by OPAM > > (you can put that in a .bashrc file, for example). > > > > --Fabrice > > > > On Tue, Jan 15, 2013 at 8:18 PM, Alan Schmitt > > wrote: > >> Thomas Gazagnaire writes: > >> > >>> To people already using OPAM, I forgot to mention that it is highly > >>> recommended to NOT upgrade opam using opam. The auto-update thing was > >>> a mistake at the first place. It is also advised to start from a fresh > >>> opam init. It should work if you don't, but it would definitely avoid > >>> some confusions in some corner-cases. > >> > >> I'm thinking of trying it, but there was a bit of information I could > >> not find on the web page: where does OPAM puts the things it compiles? > >> Is it easy to just try it with an existing installation of ocaml & > >> libraries? > >> > >> Thanks, > >> > >> Alan > >> > >> -- > >> 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 > > > > > > > > -- > > Fabrice LE FESSANT > > > > > -- > 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