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 0F8855D4 for ; Tue, 23 Feb 2021 10:32:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,199,1610406000"; d="scan'208";a="494456511" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Feb 2021 11:32:18 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0FA76E0AD1; Tue, 23 Feb 2021 11:32:18 +0100 (CET) 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 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-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 Reply-To: Basile Starynkevitch X-Loop: caml-list@inria.fr X-Sequence: 18404 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: 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/