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 BFF987F02D for ; Mon, 20 Oct 2014 18:37:31 +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.15.15; 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.15.15 as permitted sender) identity=mailfrom; client-ip=212.227.15.15; 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.15.15; 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: AuEBAIo5RVTU4w8PnGdsb2JhbABc1RSDGwMCAoERFgERAQEBAQEGDQkJFC6EAwEBBAwmAQVAEQsYCRYPCQMCAQIBRRMIAQGIJgEWAqYBmQUBhwUBCwEfkFgWhDUBBItihyaSOpJPgxkBAQE X-IPAS-Result: AuEBAIo5RVTU4w8PnGdsb2JhbABc1RSDGwMCAoERFgERAQEBAQEGDQkJFC6EAwEBBAwmAQVAEQsYCRYPCQMCAQIBRRMIAQGIJgEWAqYBmQUBhwUBCwEfkFgWhDUBBItihyaSOpJPgxkBAQE X-IronPort-AV: E=Sophos;i="5.04,757,1406584800"; d="scan'208";a="102083970" Received: from mout.gmx.net ([212.227.15.15]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Oct 2014 18:37:31 +0200 Received: from [192.168.1.77] ([187.233.120.106]) by mail.gmx.com (mrgmx002) with ESMTPSA (Nemesis) id 0MVui8-1Xe45x2XCS-00X1gu for ; Mon, 20 Oct 2014 18:37:30 +0200 Message-ID: <54453A47.4090103@gmx.net> Date: Mon, 20 Oct 2014 11:37:27 -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: <5445366E.6000000@etorok.net> In-Reply-To: <5445366E.6000000@etorok.net> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K0:jWRvTC2Im+NUTS5yIiGlOXj71Wbp3C7jT5CJwtjC76EEzUjwbOb ml0/C5Sl2+kyBJ0TwZNLKu8aUb/GlXkowE611009jlSPaSYNj+MsUbii00NLWFbLfECydaZ 91QpFACbtjKrud8B4I7Q2UBnt0IGnD/7l9jzK2D9Q7Lu3TJ8p73eZ06UYk3FFs/3RN330zD wbPptP44Np6Npnf9+955g== X-UI-Out-Filterresults: notjunk:1; Subject: Re: [Caml-list] Errors in installing 'lwt' Thanks a lot Edwin, after the reinstallation of 'ocamlfind' everythink worked fine. I have now 'lwt' and 'js_of_ocaml' successfully installed on the system switch. I gues it does not make sense to have the opam switch of 4.01 any longer. I will probably remove it since it consumes a lot of space on the harddisk. Regards Helmut On 10/20/2014 11:21 AM, Török Edwin wrote: > Try 'opam reinstall ocamlfind' (on the system switch). > > --Edwin >