From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D24687F02D for ; Mon, 20 Oct 2014 19:59:47 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of edwin+ml-ocaml@etorok.net) identity=pra; client-ip=62.113.205.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of edwin+ml-ocaml@etorok.net designates 62.113.205.31 as permitted sender) identity=mailfrom; client-ip=62.113.205.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx.etorok.net designates 62.113.205.31 as permitted sender) identity=helo; client-ip=62.113.205.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="postmaster@mx.etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhMFAEFMRVQ+cc0f/2dsb2JhbABcgw5TWMwvh00CgRMWAX2EAwEBBEA4Ag8LGAkTAw8JAwIBAgFFEwgCiD8JsC6GAI9VAgSQWBaENQGLYIprhxOWIoN6Oi+CSwEBAQ X-IPAS-Result: AhMFAEFMRVQ+cc0f/2dsb2JhbABcgw5TWMwvh00CgRMWAX2EAwEBBEA4Ag8LGAkTAw8JAwIBAgFFEwgCiD8JsC6GAI9VAgSQWBaENQGLYIprhxOWIoN6Oi+CSwEBAQ X-IronPort-AV: E=Sophos;i="5.04,757,1406584800"; d="scan'208";a="83984456" Received: from mx.etorok.net ([62.113.205.31]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Oct 2014 19:59:47 +0200 Received: by mx.etorok.net (OpenSMTPD) with ESMTP id 47e3e5f0; for ; Mon, 20 Oct 2014 20:59:45 +0300 (EEST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=etorok.net; h= message-id:date:from:mime-version:to:references:in-reply-to :content-type:content-transfer-encoding; s=ml; l=412; bh=eWSrixY YNrL+naqPVTd3GV0eaC0=; b=LhQ0feW7s5zNZAm+CGzS51yyHBnZKM/rb9Ss/LI UO1KUSbCK088ZGOiL3MCQcAiVahuxCOfzM4cj5IEqKyIZn/vjOQ9QOk36T2u0Vbg fDCiLrHGmtLviCGbUoM94WHrBtks2FXF812gHpNVytOqucfmfL4jYR/8i1xtxwiq jc7w= Received: by mx.etorok.net (OpenSMTPD) with ESMTPSA id aa490fce; TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NO; for ; Mon, 20 Oct 2014 20:59:45 +0300 (EEST) Message-ID: <54454D90.8010605@etorok.net> Date: Mon, 20 Oct 2014 20:59:44 +0300 From: =?windows-1252?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.1.2 MIME-Version: 1.0 To: caml-list@inria.fr References: <5445366E.6000000@etorok.net> <54453A47.4090103@gmx.net> In-Reply-To: <54453A47.4090103@gmx.net> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Errors in installing 'lwt' On 10/20/2014 07:37 PM, Helmut Brandl wrote: > 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. Thanks, I was able to create a testcase and I opened an issue about improving the camlp4+system package here: https://github.com/ocaml/opam-repository/issues/2900 Best regards, --Edwin