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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 51E9F7EE34 for ; Mon, 28 Mar 2016 16:58:46 +0200 (CEST) IronPort-PHdr: 9a23:BIU/kxQgiJA/kZ8j+TEyDBVEQNpsv+yvbD5Q0YIujvd0So/mwa64YxeN2/xhgRfzUJnB7Loc0qyN4/CmAzBLvsbJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviq9uJP04X1HKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1AVV2FethtTH0CR5xj/WtL1szDmnut7wiiTe8PsG+MaQzOnuodmTBr1lG8tLTc//GWf3sx9iKdGvFSrvRV5z4r8b4SFcvxzYvWOLpshWWNdU5MJBGR6CYSmYt5KVrJZMA== Authentication-Results: mail2-smtp-roc.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 (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.22; 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.22 as permitted sender) identity=mailfrom; client-ip=212.227.17.22; 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.22; 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: A0DTAAARRvlWkxYR49RcrVOSK4Fwhg0CgSA6EgEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEIxVAEQsYAgIFFgsCAgkDAgECAUUGDQgBAYgNARcCpA2LZ4pXAYUvAQEIAgEdfIUihESHPIJWBY4wiTGBUpVrhVSPCycMgkOBcIlHAQEB X-IPAS-Result: A0DTAAARRvlWkxYR49RcrVOSK4Fwhg0CgSA6EgEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEIxVAEQsYAgIFFgsCAgkDAgECAUUGDQgBAYgNARcCpA2LZ4pXAYUvAQEIAgEdfIUihESHPIJWBY4wiTGBUpVrhVSPCycMgkOBcIlHAQEB X-IronPort-AV: E=Sophos;i="5.24,407,1454972400"; d="scan'208";a="210679781" Received: from mout.gmx.net ([212.227.17.22]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 28 Mar 2016 16:58:45 +0200 Received: from [192.168.1.68] ([187.207.111.122]) by mail.gmx.com (mrgmx102) with ESMTPSA (Nemesis) id 0MQu9K-1aJZqU3NsM-00UNQZ for ; Mon, 28 Mar 2016 16:58:45 +0200 To: Caml List References: <56F8A01E.6010803@gmx.net> <56F8C5C4.3010004@gmail.com> <56F92453.6080500@gmx.net> <56F92715.6030901@gmx.net> <56F92E18.9000401@gmx.net> <56F93BF7.9090707@gmx.net> <56F94198.1040505@inria.fr> From: Helmut Brandl Message-ID: <56F946A2.7020209@gmx.net> Date: Mon, 28 Mar 2016 08:58:42 -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: <56F94198.1040505@inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:gIxhprk9ZtJeTX7945D/2K8DYFxqO2YyOUvPfmjiGAKUQbms+/0 TdIvM0KwUeaFl+n66YxVehBZK4S6uXw0is4rTWnIk0mC+XdS0gTU0yZt6CAzXx0DpGWF9sE u8Dm8a66d9H6yThwEFtIN4xR5kZsX9fog9oCbNfIQNsfOaPjepZwBhcHHL1tp1Pa6cNG6I7 BM2frFX0D+sZP632hXXWw== X-UI-Out-Filterresults: notjunk:1;V01:K0:nLa7ruZzvC8=:msW6djG2dFGsH6m8jhxbss +1gwSmep0N28D68dXE27gFLi4qfN4huXza1QdvnXQTMbaCgaVJJuwaDbVMuJr3Id8Q2f84QFJ KPAXT555h05Nm57KZNYfti9upkdlRuh+KH6NVosD5ImIODvLQOPu2R/aeDo+IJu7mQrvFBxSU IQMPkLgDudnApFXu9/1uWZKy+gb3Y3cKBmaWCUVk0k8iNRcrwelh+ScWonne9hkNZ3ZEwAxW4 i8dQYp4Oto9Zb4YSPyFpFC4+csKwFySXQaGnULTMHnW++4JMFHjA3fiwb+duFhDnUjLrqqvJh hFTDVuEAenTqZXe+k+XxBQI4s7LAjDlM4rPvwOTCLhuFMzIdyrC+spXIVc4PdwYQFaRTqDD0T g6KbVDIaLDl/x86BbyMJwjBmbgtR0nA0yUCwO3xpazgVI4Zj/K995P7au7+cA7TMKfxL5dXpA RqMUvrJ04yI6sXye/ZfhVjnIjGbRRcdxIYkV94mLDYfGZUnuSmL5rhJN2CtYstGk1dX0EBXkH 3fYDmel3bFDP+pIzHk6nZLnUI0YfrrJ02txHK5r6JLxXD2KJqvdK90VqotHYI02K5g42U1xdl Q6Q0PuLtdYeMsPVsC0BOF8zgmiFOD7W+ARo58hx+4FEtprpn0N9Ugz4o9VIDS5vUCIosa4aPD WGGuJxzU+0BNNHKb+cFclk7JBxkcfaw74fnsROYoBPO3fy6GQOSyOeexCz9x33U5Kd1w2eGYn FEcFdu4sJxODT84n3aSjmZDHYzMjCjXAMWMAjyCHcLtEjLlAYwulc4jMfR3GdyBUAVdb5/+zv jMpOMKX Subject: Re: [Caml-list] Problems installing with opam Thanks, a complete reinstallation of opam resolved the problem. However since I have never edited something in the ".opam" directory, opam seems to have screwed up its own directory. Regards Helmut On 03/28/2016 08:37 AM, Francois Berenger wrote: > On 03/28/2016 04:13 PM, Helmut Brandl wrote: >> On 03/28/2016 07:40 AM, Kakadu wrote: >>> >From your camlp4 log I see that you re installing camlp4 patched for >>> implicits using 4.02.3 compiler. You should not do that. You need to >>> investigate why opam decides to install this version of camlp4. >> How can I find out why opam makes this decision? >> >> Something looks very screwed up. I have tried to switch to 4.00.0, but >> this fails with > > The "ejection seat" procedure with opam is: > > 1) rm -rf ~/.opam > 2) remove all system-wide-installed ocaml packages/libraries > from your computer (ocaml, camlp4, findlib, etc). > 3) reinstall opam from scratch > 4) opam switch to the compiler you need > 5) opam install all your needed tools/libraries >