From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2FCEE7F02D for ; Mon, 20 Oct 2014 18:24:15 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.17.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.17.21 as permitted sender) identity=mailfrom; client-ip=212.227.17.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.17.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkMBADk2RVTU4xEVnGdsb2JhbABcg2GDXskoh00CgREWAREBAQEBAQYNCQkULoQDAQEEIxVAEQsYAgIFFgsCAgkDAgECAUUTCAEBiCYBFgIJpWuLYY0gAYcFAQEBBwEBAQEaBIEsjQ6CHhaCYYFUBYtihyaDP4hDhjiKOYgWgxkBAQE X-IPAS-Result: AkMBADk2RVTU4xEVnGdsb2JhbABcg2GDXskoh00CgREWAREBAQEBAQYNCQkULoQDAQEEIxVAEQsYAgIFFgsCAgkDAgECAUUTCAEBiCYBFgIJpWuLYY0gAYcFAQEBBwEBAQEaBIEsjQ6CHhaCYYFUBYtihyaDP4hDhjiKOYgWgxkBAQE X-IronPort-AV: E=Sophos;i="5.04,757,1406584800"; d="scan'208";a="102081900" Received: from mout.gmx.net ([212.227.17.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Oct 2014 18:24:14 +0200 Received: from [192.168.1.77] ([187.233.120.106]) by mail.gmx.com (mrgmx102) with ESMTPSA (Nemesis) id 0MLA45-1XfydY1d5t-000N4Q for ; Mon, 20 Oct 2014 18:24:14 +0200 Message-ID: <5445372A.3050702@gmx.net> Date: Mon, 20 Oct 2014 11:24:10 -0500 From: Helmut Brandl User-Agent: Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.1.2 MIME-Version: 1.0 To: caml-list@inria.fr References: <5445153E.7010203@gmx.net> <544518F1.4050907@inria.fr> <544519B6.6050007@gmx.net> <54451A2A.6010300@inria.fr> <54451FB0.3080303@gmx.net> <5445212C.5030102@coherentgraphics.co.uk> <544522A9.90407@gmx.net> <54452588.2060606@inria.fr> <544527F5.5080105@gmx.net> <5445297E.4000800@inria.fr> In-Reply-To: <5445297E.4000800@inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:yPlZlBUE59wwcrDoPtOnwp78dQ2UQtbry/zpqVVfaUBYn04r1NX Gk7TNxpE6+aeHUuy+TXRGN3+W2KdTJvAP1DhXPmCEqpCYRq34EJemU94i1VyEY6GGvqPqus IZxrih2S+qGesK0ADqk1T6I0oHFtsy2DBeqzs7ego1vYtL4S/1hgMmJD4IEw3vg3ZHFL3VI hsapRL19TAndsH10AhcXQ== X-UI-Out-Filterresults: notjunk:1; Subject: Re: [Caml-list] Errors in installing 'lwt' Thanks for the hint Francois. The command sequence you proposed worked successfully. However can you explain to me what I have now. I think I have now two versions of the ocaml compiler installed, one system wide (4.02.0) and one installed by opam (4.01.0). If I use a fresh shell I still get version 4.02 until I issue the 'eval' command to get the new paths. If I try to switch back to 4.02 opam tries to install 4.02 from scratch, i.e. it does not use the system installation. Is there any possibility to switch back to the system installation in the same shell or do I need to use a fresh shell? I still feel uncomfortable because I don't know why the installation of 'lwt' fails with my system installation of ocaml. Regards Helmut On 10/20/2014 10:25 AM, Francois Berenger wrote: > On 10/20/2014 05:19 PM, Helmut Brandl wrote: >> How do I install ocaml by opam? The command 'opam install ocaml' does >> not work. > > opam switch 4.01.0 # just an example version > eval `opam config env` # use it > opam install lwt # your initial goal > >> What is the difference? My ocaml system works fine and I don't want to >> compromise it because I need it. > > It won't be compromised in any way, opam will just ignore it. > >> Can 2 versions of ocaml coexist without any interference? > > That's one of the many goals of OPAM, I believe. > OPAM's switch command allows you to "jump" between ocaml versions. > >> On 10/20/2014 10:08 AM, Francois Berenger wrote: >>> As a workaround, I would recommend having a fresh ocaml installed by >>> opam. >>> >>> It always work nicer in this way, in my experience (I use the ocaml >>> installed by opam switching, not the one installed system-wide). >>> >>> On 10/20/2014 04:56 PM, Helmut Brandl wrote: >>>> My platform is the 32bit version of the archlinux distribution on >>>> x86. I >>>> have got the ocaml base installation and opam via the distribution and >>>> tried to install packages via 'opam install ...'. >>>> >>>> Everything went fine until 'opam' tried to install 'lwt'. >>>> >>>> >>>> >>>> On 10/20/2014 09:50 AM, John Whitington wrote: >>>>> Hi, >>>>> >>>>> Helmut Brandl wrote: >>>>>> Does not work either. 'opam' reinstalls 'camlp4' without any >>>>>> problems >>>>>> but then fails installing 'lwt'. >>>>> >>>>> You haven't mentioned what platform you're using. There's a known >>>>> issue on OS X with 2.4.6, for example: >>>>> >>>>> https://github.com/ocsigen/lwt/issues/91 >>>>> >>>>> Thanks, >>>>> >>>> >>> >> >> >