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 746CD7EE49 for ; Mon, 25 Feb 2013 03:09:11 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn.in-berlin.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYEAPbGKlHAbSoIe2dsb2JhbABFhk+1cIUTgREWDgEBFiYEI4IfAQEFI1YQCwkPAgIFFA0CAg8FGDGIJgSrWJFNFYEOjS49B4ItMmEDji+IDYEeklA X-IPAS-Result: AhYEAPbGKlHAbSoIe2dsb2JhbABFhk+1cIUTgREWDgEBFiYEI4IfAQEFI1YQCwkPAgIFFA0CAg8FGDGIJgSrWJFNFYEOjS49B4ItMmEDji+IDYEeklA X-IronPort-AV: E=Sophos;i="4.84,730,1355094000"; d="scan'208";a="3311147" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Feb 2013 03:09:10 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178040052.adsl.alicedsl.de [85.178.40.52]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id r1P299Mh017633 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Mon, 25 Feb 2013 03:09:09 +0100 Received: by first (Postfix, from userid 1000) id 4AEA815400E6; Mon, 25 Feb 2013 03:09:08 +0100 (CET) Date: Mon, 25 Feb 2013 03:09:09 +0100 From: oliver To: Francois Berenger Cc: caml-list@inria.fr Message-ID: <20130225020909.GA12988@siouxsie> References: <20130218072233.GA15780@siouxsie> <20130225005039.GA8816@siouxsie> <512ABDCA.1020200@riken.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <512ABDCA.1020200@riken.jp> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] Old and new OCaml installed on same machine? On Mon, Feb 25, 2013 at 10:26:34AM +0900, Francois Berenger wrote: > On 02/25/2013 09:50 AM, oliver wrote: > >Hello Roberto, > > > > > >On Mon, Feb 18, 2013 at 08:34:35AM +0100, Roberto Di Cosmo wrote: > >>Dear Oliver, > >> just use the Opam package manager for OCaml and you will be fine. > >[...] > > > > > >Do you mean something like ths following?! > > > > > >=================================================================== > >oliver@siouxsie:~$ . ocamlbrew/ocaml-4.00.1/etc/ocamlbrew.bashrc > >oliver@siouxsie:~$ opam install ocurl > >The following actions will be performed: > > - install ocurl.0.5.4 > >1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove > > > >=-=-= ocurl.0.5.4 =-=-= > >The archive for ocurl.0.5.4 is in the local cache. > >Extracting /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/archives/ocurl.0.5.4+opam.tar.gz. > >Building ocurl.0.5.4: > > ./configure > > make > > make install > >The compilation of ocurl.0.5.4 failed. > >Uninstalling ocurl.0.5.4: > > ocamlfind remove curl > > > > > >==== ERROR [while installing ocurl.0.5.4] ==== > ># command make > ># path /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4 > ># exit-code 2 > ># env-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.env > ># stdout-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.out > ># stderr-file /home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4/ocurl-1872ec.err > >### stdout ### > >make[1]: Entering directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4' > >make[1]: Leaving directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4' > >make[1]: Entering directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4' > >ocamlc.opt -c curl.mli -o curl.cmi > >ocamlc.opt -c curl.ml -o curl.cmo > >ocamlc.opt -c -ccopt "-DHAVE_CONFIG_H -Wall" curl-helper.c > >make[1]: Leaving directory `/home/oliver/ocamlbrew/ocaml-4.00.1/.opam/4.00.1/build/ocurl.0.5.4' > >### stderr ### > >...[truncated] > > In the truncated part it says (at least on my machine) > > curl-helper.c:12:23: fatal error: curl/curl.h: No such file or directory > > Which means you need to install the system package that will install > this file. [...] Not me... opam should do this. The OCaml 4.00 is installed by ocamlbrew/opam. On my machine I have 3.11.2 from the old Linux dsitribution. If ocamlbrew/OPAM is "the tool of choice" to install all versions of OCaml locally (in my $HOME) and if it is able to handle different versions of OCaml, and if it is able to install libraries (like ocurl), then the problem should not have occured. I have libcurl-ocaml and libcurl-ocaml-dev installed. But even if not, OPAM should install the needed stuff. Thats what the command "opam install ocurl" has to do. If it fails, the infrastructure is not working properly. Ciao, Oliver