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 c5ff346549e7 (Postfix) with ESMTPS id 9A48E5D5 for ; Fri, 20 Mar 2020 16:06:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,285,1580770800"; d="scan'208";a="441407856" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Mar 2020 17:06:31 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 76E307F471; Fri, 20 Mar 2020 17:06:31 +0100 (CET) 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 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 Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 18064 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: 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.