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 89D215D4 for ; Tue, 23 Feb 2021 12:20:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,200,1610406000"; d="scan'208,217";a="494484979" 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 13:20:36 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2F217E0330; Tue, 23 Feb 2021 13:20:36 +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 2A9C6E01C3 for ; Tue, 23 Feb 2021 13:20:30 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f176.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A/AV+Rh0cCRD1F61XsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMeKvad9pjvdHbS+e9qxAeQG9mCurQU16GP6fiocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmT6wbalxIRi5ogndq9cajZd/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTlkz?= =?us-ascii?q?kMOSIn/27Li8xwlKNbrwynpxxj2I7ffYWZOONjcq/BYd8WQGxMVdtTWSNcGIOx?= =?us-ascii?q?d4QAD+QDMuhYoYfzpEYAowWiCgS3Huzj1iVFi2Xq0aEm0eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtNT7O70JXuCvzanH0zHDZO5L1zjh6IjHbAohru+WXbltdsfRxlMgGBjfjlWR?= =?us-ascii?q?t4PlOymZ1v8RvGib8eVgT/ygi3Q8pgF+pzig3MYsio3Tio0JzVDE8Dx0zYAoLt?= =?us-ascii?q?K3VEB1e8SrEIdMty6ELYt2RNsvTmJ0tSs7yrMItp61cSwXxJg62hLTd+GLfomW?= =?us-ascii?q?7x/9SuqcLyt1iXN7dL6jmRq+7VWtx/H/W8SozFpErihIn9jSun0Lyhfd5M+HSv?= =?us-ascii?q?5n8Ueg3zaCzw/T6uBYIUA0iKrUMIQtzaI3lpoWqUjDBTP2l1/sjK6WcEUk+fan?= =?us-ascii?q?6/rmYrX6upCcN5V4igfgPaQynMG0HOc2MhAWUmSF5eix0Kfv8E75TblQk/E7k7?= =?us-ascii?q?XVvIrHKckZp6O0BRJe3Jw55BalFTim1cwVnXkZI1JBfxKKl43pNEvPIPD8FPu/?= =?us-ascii?q?mkisnCpyy/DII7HsAJTAImLMkLfmerZ95EpcxxQpwd9D4JJUD6kNIPP1WkDvqN?= =?us-ascii?q?zVFgE1PxCwzur9C9hw1pkSVX+OD6OFKq/erF2F6+M3L+mJfoAVuTL9K/Y/5/7p?= =?us-ascii?q?iH80gVAdcrOy0psNaXC3APBmL1+CYXXwgtcOD30KsRQkTOHxh12CVCRcZ3e2X6?= =?us-ascii?q?4m+j47D4emAZ/ZRo+xmLyBwDu7HppOa29aEF+MFHPoe5yAW/cNcyKSPtRskicE?= =?us-ascii?q?VLikU48uzwuitA78y7p9L+rb4DcUtZz51Is92+qGvxgp9Dh5R/+B2nucSWJ5gG?= =?us-ascii?q?IUTD9+iKp2uk15x3+YzaFikvpbGMJS+/hJFAE3KciP4fZ9DoXdUwjbf9qNAG2t?= =?us-ascii?q?Qti8DCt5Gt04ycUPbkI7AN6igwrOxQKlBrYUk/qAA5liofGU5GT4O8sokyWO76?= =?us-ascii?q?ImlVRzB5IXbTT61J46zBDaAsvyq2vcj7yjLP1O0yvE9WPFxm2L7hkBDVxAFJ7d?= =?us-ascii?q?VHVaXXP46NT04kSYEe2rALUjdxJdkIuMc/QULNLuilpCSbHoP9GMOzvgyVf1Pg?= =?us-ascii?q?6Bw/a3VKSvfmwc2CvHD01dylIc+H+HMU41ASLz+m8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CBBgDx8TRgf7CgVdFiHgEBCxIMhGVLV?= =?us-ascii?q?joxhEGBHpA6AwKDF4gWkRsLAQMBDSQQBAEBhE0CgXYCHQcBBDQTAhABAQUBAQE?= =?us-ascii?q?CAQMDBAETAQENCwsIJ4VqDYI4KQGDYwEBAwESER0BGx0BAwELBgMCBAc3AgIiA?= =?us-ascii?q?REBBQEcBhMIGoJKglQBAw4gD5MijxKBBD2LNIEVBQEXgwUGhEYKGSgNYgOBOAI?= =?us-ascii?q?HEoEmhWQCUEYBAYZEJhCBTUGBR4I2Lj6CUgsCggyCaYJfBIJGAXs/IAJvWYEKk?= =?us-ascii?q?AmodSwHgn6BGgULiBSSWiKEZZ5gnX2CAoYoi1iEchAjgUiBejMaI1AxgjgJRxk?= =?us-ascii?q?NVo1JDBaDTYRZhgFDLzgCBgEJAQEDCYwTAQE?= X-IPAS-Result: =?us-ascii?q?A0CBBgDx8TRgf7CgVdFiHgEBCxIMhGVLVjoxhEGBHpA6AwK?= =?us-ascii?q?DF4gWkRsLAQMBDSQQBAEBhE0CgXYCHQcBBDQTAhABAQUBAQECAQMDBAETAQENC?= =?us-ascii?q?wsIJ4VqDYI4KQGDYwEBAwESER0BGx0BAwELBgMCBAc3AgIiAREBBQEcBhMIGoJ?= =?us-ascii?q?KglQBAw4gD5MijxKBBD2LNIEVBQEXgwUGhEYKGSgNYgOBOAIHEoEmhWQCUEYBA?= =?us-ascii?q?YZEJhCBTUGBR4I2Lj6CUgsCggyCaYJfBIJGAXs/IAJvWYEKkAmodSwHgn6BGgU?= =?us-ascii?q?LiBSSWiKEZZ5gnX2CAoYoi1iEchAjgUiBejMaI1AxgjgJRxkNVo1JDBaDTYRZh?= =?us-ascii?q?gFDLzgCBgEJAQEDCYwTAQE?= X-IronPort-AV: E=Sophos;i="5.81,200,1610406000"; d="scan'208,217";a="494484933" X-MGA-submission: =?us-ascii?q?MDH9c88fS3I8iw4GMKlT78iAtgOJnrZ4TEGpx8?= =?us-ascii?q?kbqhG2zNzvteUPa5wrhEfVxo6eEEdzNRWMQ7+rsOzxsM+jdKtMvgt9wY?= =?us-ascii?q?q6tT1p5Y8lDy1RZQ96xxgwqvhmV5FV/sfc+h8W7BsvcEf5AZcOLVZkxv?= =?us-ascii?q?Nc/1+kGDsSagH2kXXlRFSLig=3D=3D?= Received: from mail-qt1-f176.google.com ([209.85.160.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 23 Feb 2021 13:20:29 +0100 Received: by mail-qt1-f176.google.com with SMTP id o21so11670643qtr.3 for ; Tue, 23 Feb 2021 04:20:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=l9Pxd7OIePwJpylf8v4WSDh/b7hxOEDZ8zFwjniW9Rw=; b=vKE09N7mbvIL0U0w/QdHxaoFODwu4LZOk8cmVwyREMp4rYrU2JsHKsSMr+tZECskuG Q+eLO+0qKata+CyiJ1NcocU86ZRsunFhG0CE9+nkpvAu5xn2jO5ur3dfJVSOExqzvVt3 QdmVK/WoSQ8HMRj7BDveuG922jjT3F0biObrvlY7zkvr8gQPhJACIkzw3E2+MjKKbZhp FtxIfLSQbioi77MOqyKuq44TJ2vsTMQz6IqqikH3eTzKScgYV89XfeCEtHsv8kIXiW98 UK1WsWvDrd2JzEaUA9hZeENTwYIjscAgywgiZ076JgB78rukXMm2Dood5L44qvfTSrnS XEUA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=l9Pxd7OIePwJpylf8v4WSDh/b7hxOEDZ8zFwjniW9Rw=; b=Echw5ynlLp3s7xMkDIp2Xl26yw15z3PZsYJouTnxBTQQQtp1ZA7qG1jybPheK0nRTq jCIJSIVwoOaTVF+dT+32sIBAhce0rfTGCzXBDsg39l8C+qwb/auU9JMnwBygZlh3GDwE 9GQxv5htkykbRDn53ewh10RsNEFlhFWcVkgxwDA5ugIEOeNnvK9LZ95jcXZ+lSa+u9ay pTKNqFtvmhfLzjLzi2b2X8FSr/NesrhKnTGBQ/9A3lFz+hwjpOrR2LdtBygS+ziAeIsa kcclrvRKfvH0UoVuq3tQkj0aXEm9+oq4s18ABnXBaeqWkMH9eJiKy0YunRQ9Ugkj2FpT PfTA== X-Gm-Message-State: AOAM531Ig/JTHqVX7xmeAo3siKM/ue2b22gefZY+wN6SlH3Q6IfbeTos uAsjiuRvlxWGbwv5R0XFMneRlRTefI60gG3b5qW2gDJZ X-Google-Smtp-Source: ABdhPJxXsd2xX2/l2wgiI8Ock4JUE1IZ/ILI86rQuHGa2jn5PZdZH9G79Jsj+ij/gpIy17tAdiCfspbaTn/8C5jWz8U= X-Received: by 2002:a05:622a:44b:: with SMTP id o11mr24125294qtx.229.1614082827847; Tue, 23 Feb 2021 04:20:27 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Gabriel Scherer Date: Tue, 23 Feb 2021 13:19:56 +0100 Message-ID: To: Basile Starynkevitch Cc: caml users Content-Type: multipart/alternative; boundary="000000000000978c1c05bbfff150" Subject: Re: [Caml-list] compiling PatoLine typesetting system on Ubuntu 20.04 Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 18405 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: --000000000000978c1c05bbfff150 Content-Type: text/plain; charset="UTF-8" Hi Basile, I think that the error you get comes from a transition from opam1 (used in the Patoline webpage for instructions, I guess) to opam2, which changed the "opam switch" behavior to stop installing a new switch explicitly. The command recommended in the error message, "opam switch create 4.05.0", will do the equivalent of the README's command, and get you a 4.05.0 switch. You should be able to build Patoline there, assuming the dependency bounds have not bitrotted away. Getting Patoline to work on a more recent OCaml version may be very easy (just installing it in a newer switch) or very hard, depending on the change-robustness and maintenance level of its codebase and various dependencies. You cannot tell without trying. Looking at the "issues" list suggests that Patoline is intermittently maintained by Rodolphe Lepigre, so I think you should get help if you open an issue on the repository to report on any further trouble installing Patoline, using either 4.05 or a more recent version. On Tue, Feb 23, 2021 at 11:32 AM Basile Starynkevitch < basile@starynkevitch.net> wrote: > 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/ > > --000000000000978c1c05bbfff150 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Basile,

I think that the = error you get comes from a transition from opam1 (used in the Patoline webp= age for instructions, I guess) to opam2, which changed the "opam switc= h" behavior to stop installing a new switch explicitly. The command re= commended in the error message, "opam switch create 4.05.0", will= do the equivalent of the README's command, and get you a 4.05.0 switch= . You should be able to build Patoline there, assuming the dependency bound= s have not bitrotted away.

Getting Patoline to wor= k on a more recent OCaml version may be very easy (just installing it in a = newer switch) or very hard, depending on the change-robustness and maintena= nce level of its codebase and various dependencies. You cannot tell without= trying.

Looking at the "issues" list su= ggests that Patoline is intermittently maintained by Rodolphe Lepigre, so I= think you should get help if you open an issue on the repository to report= on any further trouble installing Patoline, using either 4.05 or a more re= cent version.

On Tue, Feb 23, 2021 at 11:32 AM Basile Starynkevitc= h <basile@starynkevitch.net<= /a>> wrote:
H= ello 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
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 4.05.0'?
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Installed switches are: =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 - default

Thanks for help


--
Basile Starynkevitch=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 <b= asile@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/

--000000000000978c1c05bbfff150--