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 74D9BE01C3 for ; Tue, 23 Feb 2021 11:32:13 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=basile@starynkevitch.net; spf=Pass smtp.mailfrom=basile@starynkevitch.net; spf=None smtp.helo=postmaster@relay1-d.mail.gandi.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=pra; client-ip=217.70.183.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of basile@starynkevitch.net designates 217.70.183.193 as permitted sender) identity=mailfrom; client-ip=217.70.183.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.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@relay1-d.mail.gandi.net) identity=helo; client-ip=217.70.183.193; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="postmaster@relay1-d.mail.gandi.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A6JYFjhxY+2PGKUrXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u4SIJqq85mqBkHD//Il1AaPAdyKraIYwLOM6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVgDexe7B/IRq5oQnMqMUanZZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulS?= =?us-ascii?q?wJNSM28HvPh8JujKxVvRGvqRJxzIHbfI6bO+Fzfr/ecN4AWWZNQshcWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAooTgvVQOthq+BQ2yC+jy1zFImmX53bc60uQnEgHJwhIgH9MSsH?= =?us-ascii?q?vIrNX+KaAfXvuvw6nTzDXDa+1Z1Czm6IjUaB8hu/GNXbRzccXP10kvFh/FgUmQ?= =?us-ascii?q?qYD/OTOayPgNvnGd4uF9Wu2hl3QppBttojiz2MgskI/Ji5obx13Y+it03ps4KN?= =?us-ascii?q?K4RUN5fdKpHp9duz2YOodrTM4vQW5mtiYmx7EbtpC2YDQHxZUpyhPed/GLb4iG?= =?us-ascii?q?7xPtWuuSJzpzmXxreLW6hxmo8EigzPXxVsa10FZWripFj8LDumoR2BzU78iLUu?= =?us-ascii?q?B9/lu71jaV1wHT7OJELl4qlaraN54u3r4wmoAVsUvdAi/7nlj9gqyOdkg85OSk?= =?us-ascii?q?9ubqbq/kq5OALYN4lwLzP6o0lsCiBek1PBACUmuF9eim1bDu8lf1TbZJg/Esj6?= =?us-ascii?q?XUsZ7XKMIGraCjGQBVyJws6xOnAjemztsYmX4HIUpfeB2Zi4jmIVHPLO3hAfii?= =?us-ascii?q?mVislS1kx/HCPrH7DZXCNH7Dn6rgfbpn7U5T1hYzwche55JSFL4BPOr+VlHsuN?= =?us-ascii?q?HaFBM0MRC4z/z6BNh+2I4SQ3+DD6uXPa/KtF+H/OMvI+2CZI8Pvzb9LuAo6OX0?= =?us-ascii?q?gn8imF8debem0IAMaHCkBPtmOUWYYXzvgtgfD2cKvxY+Q/DqiFGYVz5ceWqyU7?= =?us-ascii?q?om5j4nEIKmEZvDRoe1jbOdxii7G5lWanlCClCNCnfoa56JW+wMaSKXOs9uiCYI?= =?us-ascii?q?VbmnS4871BGhrhX2y7R9LrmcxipNvpvm0J1x5vbPvRA07z19ScqHgE+XSGQhtG?= =?us-ascii?q?oTRjs7lJtjqFZszFSOz6lkiPwQQdZa/PJNXy8hKZfG3up5Bs7zRgnBONGEVAD1?= =?us-ascii?q?EZ2dHTgtQ4dpkJc1aEFnFoD6102R72+RG7YQ0oezKtk0/6bbhSWjPct5wmefka?= =?us-ascii?q?VnilAnRo1APGuqh+h5+hSBX9eYwXXcrL6jcOEn5ACI8W6CyWSUu0QBAVxrTazf?= =?us-ascii?q?THYca1XXsd/5oEXPU+33UOh1Ak560ceHb5ByRJjxl1wfFaX4JN3EcmSylnmxGR?= =?us-ascii?q?2IgLWBcNiydg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AeeAA32TRgh8G3RtliHAEBATwBAQQEA?= =?us-ascii?q?QECAQEHAQEVgUYGAQEDAYE7AgEBAYFeWDgxCgGENpErhDGWToF7CwEDAQ0FAh0?= =?us-ascii?q?OAgQBAYZFAh0HAQQ2BA0CEAEBBQEBAQIBAwMEARMBAQEBDQsJCCmFaA2COCKEF?= =?us-ascii?q?A8BBVocAiYCbAYCAQGCZwGDCguTE5wHgTKFWIMrgUSBDigCAQEBAQGFYVCHDCY?= =?us-ascii?q?cPoFEgTiGDgKCLIJJgl8Eg0I/gnSQCakhgwWJPpJOBQofgSeDPo5nj3mdfYICk?= =?us-ascii?q?gCFAoFuDIFrewqDJAlHFwINVo1VDQmDTYRZhgFBMTgCBgEJAQEDCXyKCAGBDgE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0AeeAA32TRgh8G3RtliHAEBATwBAQQEAQECAQEHAQEVgUY?= =?us-ascii?q?GAQEDAYE7AgEBAYFeWDgxCgGENpErhDGWToF7CwEDAQ0FAh0OAgQBAYZFAh0HA?= =?us-ascii?q?QQ2BA0CEAEBBQEBAQIBAwMEARMBAQEBDQsJCCmFaA2COCKEFA8BBVocAiYCbAY?= =?us-ascii?q?CAQGCZwGDCguTE5wHgTKFWIMrgUSBDigCAQEBAQGFYVCHDCYcPoFEgTiGDgKCL?= =?us-ascii?q?IJJgl8Eg0I/gnSQCakhgwWJPpJOBQofgSeDPo5nj3mdfYICkgCFAoFuDIFrewq?= =?us-ascii?q?DJAlHFwINVo1VDQmDTYRZhgFBMTgCBgEJAQEDCXyKCAGBDgEB?= X-Spam-Status: Yes X-IronPort-AV: E=Sophos;i="5.81,199,1610406000"; d="scan'208";a="373860020" X-MGA-submission: =?us-ascii?q?MDEtQZMMtGIJeuiMhomZmLXBhoygRStNfa016K?= =?us-ascii?q?U27W2pk9K2St01DNqwe13frigE1NRgisC5BPlAu1+zGUx451fqXw2hiM?= =?us-ascii?q?05aALr/2CdezjKXOUnRtI/SmX/jF7ugmIfm1RmJ8YQ7WgLZCu5OYIZJX?= =?us-ascii?q?kuMUlczGfi6lFx+K0w0Nw/LQ=3D=3D?= Received: from relay1-d.mail.gandi.net ([217.70.183.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 Feb 2021 11:32:12 +0100 X-Originating-IP: 82.64.88.163 Received: from [192.168.2.10] (82-64-88-163.subs.proxad.net [82.64.88.163]) (Authenticated sender: basile@starynkevitch.net) by relay1-d.mail.gandi.net (Postfix) with ESMTPSA id 879DF240004 for ; Tue, 23 Feb 2021 10:32:12 +0000 (UTC) To: caml-list@inria.fr From: Basile Starynkevitch Message-ID: Date: Tue, 23 Feb 2021 11:32:11 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Subject: [Caml-list] compiling PatoLine typesetting system on Ubuntu 20.04 Hello all, I am interesting in compiling the PatoLine typesetting system on some Ubuntu 20.04 desktop (either Intel Xeon Silver 4114 at work, or AMD Ryzen Threadripper 2970WX at home; with at least 64Gbytes of RAM, and plenty of disk space) PatoLine is on https://github.com/patoline/patoline I would like to use a rather recent Ocaml (4.08 or newer) With the git commit 3dcd41fdff6489 of PatoLine I am getting rimski% opam switch 4.05.0 [ERROR] No switch 4.05.0 is currently installed. Did you mean 'opam switch create         4.05.0'?         Installed switches are:           - default Thanks for help -- Basile Starynkevitch (only mine opinions / les opinions sont miennes uniquement) 92340 Bourg-la-Reine, France web page: starynkevitch.net/Basile/