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 8F9E17F3B1 for ; Fri, 20 Mar 2020 17:06:21 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=octa@polychoron.fr; spf=Pass smtp.mailfrom=octa@polychoron.fr; spf=Pass smtp.helo=postmaster@quaesituri.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of octa@polychoron.fr) identity=pra; client-ip=5.196.7.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="octa@polychoron.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of octa@polychoron.fr designates 5.196.7.51 as permitted sender) identity=mailfrom; client-ip=5.196.7.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="octa@polychoron.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@quaesituri.org designates 5.196.7.51 as permitted sender) identity=helo; client-ip=5.196.7.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="postmaster@quaesituri.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AXtsUbhO462FYXF+arJgl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lf75rarrMEGX3/hxlliBBdydt6sYzbOK6uuwAiQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vIxi6txjdu8YLjYdtKas8xAbCr2dVde?= =?us-ascii?q?hR2W5nKlWfkgrm6Myt5pBj6SNQu/wg985ET6r3erkzQKJbAjo7LW07/dXnuhbf?= =?us-ascii?q?QwSB4HscSXgWnQFTAwfZ9hH6X4z+vTX8u+FgxSSVJ8z2TbQzWTS/86dmTQLjhS?= =?us-ascii?q?kbOzIl9mzcl8p9h79Zrh28vRxy25Pabp+bNPR+fa3Tc90VSmVDUclNWCJMGZ+8?= =?us-ascii?q?YokVAuYdIepVoYvwql0TphW+HwmsA+bvxydIiH/y2q06yeUhHhvA3Ac9A98Otn?= =?us-ascii?q?vUo8vxNKgMTeC10KjIxijEYvNRxTj99JLHfws5ofGLWbJxcdbeyUkoFwPfiVWQ?= =?us-ascii?q?r5bpPz2P1ukUtWWQ8uluVfq3hmMnsQ19vzyiy8Y2hoTLnI4Yyk3I+T19zYorP9?= =?us-ascii?q?G0VU92bNC+HJZUqy2WLYV7T8MkTmp1oig10KcGtoS+fCUSyJQo2Rrfa/uffoiR?= =?us-ascii?q?/xLsTvieISx5hHJ5ZbK/nRey/VKnyu3mWcm4yFdKrixbndnQrn0A1wbf5tWDR/?= =?us-ascii?q?Z85Eus2yyD2gDO5u1cJEA7j6vbK5ovwr4qkZoTtFzOHijql0XqlqCbbV0k+u+s?= =?us-ascii?q?6+XnfrrmppicN5VzigH4KKgulNa/DfwiMgcSR2ib5fi81Lr78ELlWrpKi/k2nr?= =?us-ascii?q?DdsJDbPsQburW0AxRV04Ym8xawFS2q0NUenXkdLVJKYgiLj4bzOwKGHPetBv66?= =?us-ascii?q?hxGokSx37/HAJLzoRJvXfVbZl7K0U7J68U9VzkIay99S459IFrBJdPX4RkbZrN?= =?us-ascii?q?vcHxQ5NBazxaDpEoMuhcslRWuTD/rBY+vpuliS67d3erTeVMouoD/4bsMdybvu?= =?us-ascii?q?gHs+wAFPZLSg0IAWdG2iH7JhOUrLOCOw0OdEKn8Du08FdMKvkEeLCGMBf3G2Tq?= =?us-ascii?q?k84Ss8DsSoF9WbH9H/sPm6xC6+W6ZuSCVDA1GIH23vctzZCe8LbDOZIsh7lTpC?= =?us-ascii?q?W6LzEoI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQDgAU6XRe/zMHxAVmHQI4BQUDCYFWg?= =?us-ascii?q?T4CZ29SMiqEGI8GTgMBAQEGgRKEE4YKkU0JAQMBDCwBAgQBAYREAgiCHB0GAQQ?= =?us-ascii?q?0EwIQAQEFAQEBAgECAwQBbIVWDII7IoMHBiMVCAEBOA8LGgImAgJXEwgBAYMig?= =?us-ascii?q?lgprSeBMoJ/AQEFgkWEagmBDigCAQGFHocPGnmBB4E4DIIzLj6FGIJEgl6XeJh?= =?us-ascii?q?TgUh+lngjgjoBjGaMNIsen3qBaSKBWE0nETuCbFAYDZckhUJAM4EEAYtKLIIXA?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0CQDgAU6XRe/zMHxAVmHQI4BQUDCYFWgT4CZ29SMiqEGI8?= =?us-ascii?q?GTgMBAQEGgRKEE4YKkU0JAQMBDCwBAgQBAYREAgiCHB0GAQQ0EwIQAQEFAQEBA?= =?us-ascii?q?gECAwQBbIVWDII7IoMHBiMVCAEBOA8LGgImAgJXEwgBAYMiglgprSeBMoJ/AQE?= =?us-ascii?q?FgkWEagmBDigCAQGFHocPGnmBB4E4DIIzLj6FGIJEgl6XeJhTgUh+lngjgjoBj?= =?us-ascii?q?GaMNIsen3qBaSKBWE0nETuCbFAYDZckhUJAM4EEAYtKLIIXAQE?= X-IronPort-AV: E=Sophos;i="5.72,285,1580770800"; d="scan'208";a="441407751" X-MGA-submission: =?us-ascii?q?MDHifLdk08Xj9txnwL+YiZIzoR7ms16kQ/QbQk?= =?us-ascii?q?juc+jtLkDotUz8ZzhF89Vi8no7zC2ZWq4V81EMcU5Wn1gRW0RECGRgZQ?= =?us-ascii?q?5TvQ574Jut3fFt1MelQo3zy6hiH7BAXZLLLbt0TT6PId2vaBh1WBfgFO?= =?us-ascii?q?HvRfeD+Ss184Xz+8uCSUDiyQ=3D=3D?= Received: from quaesituri.org ([5.196.7.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Mar 2020 17:06:20 +0100 Received: from [192.168.1.202] (unknown [92.163.90.35]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by quaesituri.org (Postfix) with ESMTPSA id 4934B110A40 for ; Fri, 20 Mar 2020 17:06:22 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=mail.quaesituri.org; s=mail; t=1584720382; bh=AmOUMMDthRcpgJQsz5roqF/JJNR63j+ork/bjkNcJs8=; h=Subject:To:References:From:Date:In-Reply-To; b=TT67rj30B3NdFvsbYMSnvmPGwn/xDpxWhCy+JnhUrX2CFZP2nfAj8aLIqY5qJDMlK wIR1jDUXglqyLIulIvowoL/6vOz8tDXOgYqTMOu4pAqMh5kCQ7B2cFCW3qblm08dWo WDIy726NPcY5X8E6sK4IqGACoatO0P+lTE1Bor4I= To: caml-list@inria.fr References: <20200319194406.fd234fbnnqowt34b@matica> <20200319202507.xukj4fxwsk72a6gp@matica> From: Florian Angeletti Message-ID: <141a6cef-ee6e-9bb3-9397-18c69c343a02@polychoron.fr> Date: Fri, 20 Mar 2020 17:05:16 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.6.0 MIME-Version: 1.0 In-Reply-To: <20200319202507.xukj4fxwsk72a6gp@matica> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Content-Language: en-US Subject: Re: [Caml-list] cannot create new opam switches Hello Ian, David Allsopp has just fixed this AWKPATH issue in the development version of OCaml Thus the issue should be definitively fixed in the next releases of OCaml. However, I am wondering how badly is the issue affecting you? Is it just a matter of setting AWKPATH to an "unsafe" "." value temporarily, or you just cannot install recent version of OCaml until the issue is fixed? Happy hacking, octachron.