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 3D8B77EE34 for ; Mon, 28 Mar 2016 15:36:45 +0200 (CEST) IronPort-PHdr: 9a23:mZZumhyyAaqKcSXXCy+O+j09IxM/srCxBDY+r6Qd0e0VIJqq85mqBkHD//Il1AaPBtWLragYwLSK+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt6U1Zj8ibz60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jAvBzHBS+O/WdUBm4flx4NBwne8Dn7WI3wu230rLwu9jOdOJjWQLQxRCjqxb1iThPswHMHOjo87X2RgNZ5iq5fiB2kt1p5zpKCM9LdD+Z3Yq6IJYBSfmFGRMsEEnUZWo4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.17.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.17.20 as permitted sender) identity=mailfrom; client-ip=212.227.17.20; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.17.20; receiver=mail3-smtp-sop.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: A0CIAQApMvlWkxQR49RbrVOSK4Fwhg0CgSA5EwEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEIxVAEQsYAgIFFgsCAgkDAgECAUUGDQgBAYgNARcCpA+LZ4pVAYVFAQEIAgEdfIUihESHPIJWBY4wiTGBUpVrhVSPCyICglKBcIkjAQEB X-IPAS-Result: A0CIAQApMvlWkxQR49RbrVOSK4Fwhg0CgSA5EwEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEIxVAEQsYAgIFFgsCAgkDAgECAUUGDQgBAYgNARcCpA+LZ4pVAYVFAQEIAgEdfIUihESHPIJWBY4wiTGBUpVrhVSPCyICglKBcIkjAQEB X-IronPort-AV: E=Sophos;i="5.24,406,1454972400"; d="scan'208";a="171253275" Received: from mout.gmx.net ([212.227.17.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Mar 2016 15:36:44 +0200 Received: from [192.168.1.68] ([187.207.111.122]) by mail.gmx.com (mrgmx101) with ESMTPSA (Nemesis) id 0MCxfb-1abyUS1DOd-009gJw for ; Mon, 28 Mar 2016 15:36:43 +0200 References: <56F8A01E.6010803@gmx.net> <56F8C5C4.3010004@gmail.com> <56F92453.6080500@gmx.net> <56F92715.6030901@gmx.net> <56F92E18.9000401@gmx.net> <56F930FF.6080607@inria.fr> To: Caml List From: Helmut Brandl Message-ID: <56F93368.9050509@gmx.net> Date: Mon, 28 Mar 2016 07:36:40 -0600 User-Agent: Mozilla/5.0 (X11; Linux i686; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <56F930FF.6080607@inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:4jeLb/2DwKJ9T7Q7iRp7L7K5wjXc+dkGrXBFTHWvdSM2LHGfnv0 Og6FFHpwQNo9s5eGASX50t2S553rYOiV91mlrnfMkxP56NkGp1Gx9X8bXJVhEXMRsIaxjlY VDn5sTk0VTZktYbGu2nBUbToDBCYfjRCNTmGGE3ruWQ3JNm13lmkULdNQqp8JWwMW4ooJM7 AZDRDZCy3tqiYlPcmTG7A== X-UI-Out-Filterresults: notjunk:1;V01:K0:Pkxm3M4h3hA=:6q3oGxW7lEnOu+4nLeGO1K jj0fOp+6tezBMwEZQFVX05uj7U8iNlb05Ef98Br7/0AbL77ZooBX9hcwNEoo3bbHjD9yUmiHd uv0OBsCly59rnkq50mPVEIhLtzNC0e+Isf5g65bwF7cB2pc/mlySPIFOXMVSSXOTgYN1GI3LR WJTzCVuWPn7/hrJd4j4mTR2++DEqxxrwg/mDqY4sOP2CHeUmu8FA4hO2QK1UxaZzGwAehn9z3 1g1doJ7N1Kyjl6F30zQ8sCOpXN3eFiVXIJa06RuuVyZEOvlCpXsX8bHzLyY0BVUlonmUYSAUj WALtHo5HNUk8ncjQgclYAwocLjNKgL04g2sT3dzyNxWlqBTPeDnywpYw2R/D/4y+/WBTtTyhS 8oxEK27TfSOHcuEMq8osgFbn1TTTa37Gfqd/CFQgj0elJWLnANxR38AAsbnQK9r3emjuroUED 9KGRFd1Uxkf1BCBfVNR9K5aGfhxQjWub7PS3nKvGqsNbAG5yfgO1Phy1Vv+dgj6PtKwgie4im pNF/qQj3FhO2HWe0g4idZ4OPs2PM9TZIApiFeChmNPN8KChgoHDuD+A/awFlnYSUL7d/TVncS CYZvq8egXeMtVTjajsLiPRBDNKqv3oVbMJ7mHos8K72nH977tqLd6uo4ATjzBOqEfuOF5wGCW DINHLQFH+EDo26ZdGJ1YUomx3LCZk3w6Vsyy9eFWb3KmtkrxTtsQO7iJkxOKeT+at6OSvF9Fv fc8O3Y4myo3GJYDWB3heUIPDm+mgj5q3S/33LUIIDenU5IDEKxm6LDj5gZqQf9DtuLt3N1hyz 09AWXLL Subject: Re: [Caml-list] Problems installing with opam On 03/28/2016 07:26 AM, Francois Berenger wrote: > On 03/28/2016 03:14 PM, Helmut Brandl wrote: >> Isn't there another way than patching. I just want to install >> "js_of_ocaml" and use it. However "js_of_ocam" requires "lwt" which >> requires "camlp4". All these packages are oficial packages in the opam >> repository. I.e. they should be installable with opam without patching. > > If you use the current stable official release, I guess you are right. > FYI, the latest official ocaml release is 4.02.3 > > $ opam switch 4.02.3 > $ eval `opam config env` > > Will give you that. The same problem. >> If I understand you correctly you are saying that the opam repository is >> inconsistent and nobody can install "camlp4", "lwt" and "js_of_ocaml" >> using some 4.x.x compiler of "ocaml". Why not fix the problem? > > I guess it is inconsistent for any alpha release of the compiler. > ocaml 4.02.0+modular-implicits is not an official release of the compiler. I am happy to switch to a previous release of the compiler as long as it is at least 4.00.0. Should I try another version? Regards Helmut