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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5182C7F30A for ; Mon, 25 Feb 2013 09:07:32 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kerneis@pps.jussieu.fr) identity=pra; client-ip=213.186.56.95; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="kerneis@pps.jussieu.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel@kerneis.info designates 213.186.56.95 as permitted sender) identity=mailfrom; client-ip=213.186.56.95; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@witko.kerneis.info designates 213.186.56.95 as permitted sender) identity=helo; client-ip=213.186.56.95; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="postmaster@witko.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhEFAEYbK1HVujhf/2dsb2JhbABFhgi8VBZzgh8BAQQBOgYBATcBBAsLGAkTEg8FKCGIIAqrFIQ7AQWNbwaRdGGWP4VqinyDBw X-IPAS-Result: AhEFAEYbK1HVujhf/2dsb2JhbABFhgi8VBZzgh8BAQQBOgYBATcBBAsLGAkTEg8FKCGIIAqrFIQ7AQWNbwaRdGGWP4VqinyDBw X-IronPort-AV: E=Sophos;i="4.84,732,1355094000"; d="scan'208";a="3331478" Received: from witko.kerneis.info ([213.186.56.95]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 25 Feb 2013 09:07:31 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=witko-rsa1; h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=OU4Wt0PtNBcbzXpJvyOshImMaDlz4rvkNQMZGWdjC7E=; b=v/dgyQkg7AQ+gdO7zOI6arMGPlDnhyIyo0BWEqDeJfzY2iyAcOQNJvJEyDr3HwesVf5Zg15/W5cHYepbn/cgQHbwW2obKLp+/cQ6H9abMOzCB5+k+Hgxx65yjoA0pZVO; Received: from 02d8d977.bb.sky.com ([2.216.217.119] helo=wacehi.kerneis.info) by witko.kerneis.info with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1U9t5r-0004tn-H9; Mon, 25 Feb 2013 09:07:27 +0100 Received: from gabriel by wacehi.kerneis.info with local (Exim 4.80) (envelope-from ) id 1U9t5q-00017t-9n; Mon, 25 Feb 2013 08:07:26 +0000 Date: Mon, 25 Feb 2013 08:07:26 +0000 From: Gabriel Kerneis To: oliver Cc: Francois Berenger , caml-list@inria.fr Message-ID: <20130225080725.GB4196@kerneis.info> References: <20130218072233.GA15780@siouxsie> <20130225005039.GA8816@siouxsie> <512ABDCA.1020200@riken.jp> <20130225020909.GA12988@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20130225020909.GA12988@siouxsie> User-Agent: Mutt/1.5.21 (2010-09-15) X-SA-Exim-Connect-IP: 2.216.217.119 X-SA-Exim-Mail-From: gabriel@kerneis.info X-SA-Exim-Scanned: No (on witko.kerneis.info); SAEximRunCond expanded to false Subject: Re: [Caml-list] Old and new OCaml installed on same machine? Oliver, On Mon, Feb 25, 2013 at 03:09:09AM +0100, oliver wrote: > I have > libcurl-ocaml > and > libcurl-ocaml-dev > installed. I guess you need to install libcurl-dev as well. > But even if not, OPAM should install the needed stuff. > Thats what the command "opam install ocurl" has to do. I disagree: opam should not install package outside of its scope (i.e. OCaml packages). You are trying to install an OCaml binding to the libcurl C library, it seems fair to expect that you have the latter installed already. > If it fails, the infrastructure is not working > properly. On the other hand, a more friendly error-message would be welcome (but this is a libcurl issue, not an opam one). Best, -- Gabriel