From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id sJo0OkKx2mGDEAAAgWs5BA (envelope-from ) for ; Sun, 09 Jan 2022 10:56:18 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id wDLMNkKx2mESAQEAauVa8A (envelope-from ) for ; Sun, 09 Jan 2022 10:56:18 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 828D5299D0 for ; Sun, 9 Jan 2022 10:56:17 +0100 (CET) Received: from localhost ([::1]:44672 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n6Uvw-0005Ew-K7 for larch@yhetil.org; Sun, 09 Jan 2022 04:56:16 -0500 Received: from eggs.gnu.org ([209.51.188.92]:57626) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n6Uvi-0005CI-4T for guix-patches@gnu.org; Sun, 09 Jan 2022 04:56:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:56335) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n6Uvh-0001qD-Ry for guix-patches@gnu.org; Sun, 09 Jan 2022 04:56:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1n6Uvh-0008CE-PC for guix-patches@gnu.org; Sun, 09 Jan 2022 04:56:01 -0500 Subject: bug#52729: [PATCH v2] gnu: ocaml: Update to 4.13. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-To: guix-patches@gnu.org Resent-Date: Sun, 09 Jan 2022 09:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 52729 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: pukkamustard Cc: 52729-done@debbugs.gnu.org, zimoun Mail-Followup-To: 52729@debbugs.gnu.org, julien@lepiller.eu, julien@lepiller.eu Received: via spool by 52729-done@debbugs.gnu.org id=D52729.164172215131484 (code D ref 52729); Sun, 09 Jan 2022 09:56:01 +0000 Received: (at 52729-done) by debbugs.gnu.org; 9 Jan 2022 09:55:51 +0000 Received: from localhost ([127.0.0.1]:49238 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n6UvW-0008Bk-JD for submit@debbugs.gnu.org; Sun, 09 Jan 2022 04:55:50 -0500 Received: from lepiller.eu ([89.234.186.109]:53064) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n6UvU-0008BZ-08 for 52729-done@debbugs.gnu.org; Sun, 09 Jan 2022 04:55:49 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 386f9336; Sun, 9 Jan 2022 09:55:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=Rk+KBhYl5Xtw p59ZqvbM1HRvlOb0NFjiaqyTnCcrpFk=; b=IRRCP1smS9ijamcK9RIr1spOHOIV t80kUyomUwtMBNbA3Ugr8Qx4LhLydilntVsjwUjtUav6zaiyr70S95Blwl4uccpa 5ic4BtaIKu0oh5CgrxXuZ8/hEU8VML05kbjtVrOq+H6p3hIsLyynWKsupJzxVu0A 81yE9PbghbMapGrvdtgJ2+5VaTJyfXMbIP7RXgFGbMjfpKJJO66oFxKz7L8ZUBpF QdJPZSc8Hy5XeaS5cV8u7Oc4pknKj3XlzkFhP1aVNcPpccC8WUecQvQHTZJct2bL iChzfmFlPLzisGJhopTbTe+SJlFO7Qx6S6ZPptQPVgu7mTGgpKQd095odg== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 91d2bb2a (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Sun, 9 Jan 2022 09:55:44 +0000 (UTC) Date: Sun, 9 Jan 2022 10:55:13 +0100 From: Julien Lepiller Message-ID: <20220109105513.25abe6ff@tachikoma.lepiller.eu> In-Reply-To: <86czl1garh.fsf@posteo.net> References: <20211222041609.2fde841e@tachikoma.lepiller.eu> <86r1a4n4qk.fsf@gmail.com> <20211223140109.7716a446@tachikoma.lepiller.eu> <86czl1garh.fsf@posteo.net> X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1641722178; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-to: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=M/IcZxZrpWp+Pk6yPweh4s2+9FNnYCk+98nbrktyc+k=; b=TcygMcpA+xKl7HzUnXSyjJ/GRuJ954vmZUwRMoQpT1ehi3Ug/sWYdFLTTPoYXn7rYLmYnW 31q380tbAg/if0WiY8xxNefjw8IlorxDkwY+Yl8nAbaahwr2CN4EVxOgtzUfEernsBhsxA 1Q3wAmC+mw9BQ4nbx4o3aVVJUQPexBkqaEOfy1Fl9/Ypx7adVvAvwswPNeR5Z10gnxD3XJ V3W1LSNA0fuucpFeW8DdKSiaVsQ0G4jSfxlbj1LeuNszhpyR2fAci6edoipKqDZLWgk6Md cb6Pw1uOpe1O8BZ+Ja6fCU5vUDFqUmVX7lad1FvvRzm6az9zx4EZV9NGzJuPYw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1641722178; a=rsa-sha256; cv=none; b=RrPRtgr2w+6eaJRmHGLn1bKiKQ5DshYOxkizkRXFoNYUkJQY2oChueLYfzaUv/tMkWLacL kix2LN3k+bJ2J2NOck4eHERpVtCyiKqhbPuOzrzjpkhkp0AyMcxtPn2aTPmEO0bHrXJ3t0 x1CcSF563SqZ2qLIxh6uPWTnGXjEPA6oqSPCsO/XfQVlyPTRTh7uSToqaj5E5f5bU71BQa Aj1uiYGnGD6aRzpb0CYf490p0RTfHvWqQWPD+L0EYuTFi63NXqoRLTSn8xBzkVzEVnxz+M YYvLHk5O/DD5a83ZHb7U4BhC3bhRiSNQfcxwpcfGtgbvSlEqXA8usEaPnamEgg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=IRRCP1sm; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.01 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=IRRCP1sm; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 828D5299D0 X-Spam-Score: -2.01 X-Migadu-Scanner: scn1.migadu.com X-TUID: yKhsouUUAos0 Le Sat, 08 Jan 2022 20:45:45 +0000, pukkamustard a =C3=A9crit : > Hi Julien, >=20 > > gnu: ocaml-ppx-tools-versioned: Only build ocaml-4.07 variant. =20 >=20 > Any reason for not using the package-with-ocaml4.07 transformation? No reason at all, thanks for noticing. >=20 > > gnu: ocaml: Update to 4.13. =20 >=20 > js-of-ocaml and ocaml-dot-merlin-reader are also updated in this > commit. Could they be split to separate commits? Unfortunately I cannot update these packages independently without something breaking. >=20 > Other than that everything seems to be compiling and working > fine. Thank you very much! >=20 Thanks for the review, pushed to master as 92c63bc491a4f3098e94e7e58ec83b89f771c13c to 3e8e6ebf000b1cbc4ff4b9ba84c7abdcbdf0ffb4 > -pukkamustard >=20 >=20 > Julien Lepiller writes: >=20 > > Le Wed, 22 Dec 2021 14:51:49 +0100, > > zimoun a =C3=A9crit : > > =20 > >> Hi, > >>=20 > >> On Wed, 22 Dec 2021 at 14:43, Julien Lepiller > >> wrote: > >> =20 > >> > >On a side note, have you tried to replace boot/ocamlc (and > >> > >friends) with the bootstrapped ones (camlboot -> ocaml-4.07 -> > >> > >*). > >> > > Other said, what is the most affordable path to exploit > >> > > camlboot and have a good > >> > >bootstrapping story for OCaml. =20 > >> > > >> > Currently we can only use camlboot to bootstrap ocaml 4.07, which > >> > is what we do. We plan to improve it so it can build newer > >> > versions though. =20 > >>=20 > >> Yes, I remember when discussing the patch adding camlboot and > >> ocaml4.07-boot. :-) That's what you explained [1]. > >>=20 > >> Well, a direct bootstrap camlboot -> ocaml-4.13 is better for sure, > >> but harder. Instead, my question is: have you tried a chain of > >> boostrap: camlboot -> ocaml-4.07 -> ? -> ocaml-4.13. I could be > >> temporary solution waiting camlboot improvements, no? > >>=20 > >> 1: > >>=20 > >>=20 > >> Cheers, > >> simon =20 > > > > Here's v2 of the patch series: the first two patches build only the > > 4.07 version for migrate-parsetree@1 and for ppx-tools-versioned. > > That way, they don't fail when updating to ocaml 4.13. I checked > > that everything builds like before. I still have issues with bap > > because llvm@3.8.1 fails. > > > > [2. text/x-patch; > > 0001-gnu-ocaml-ppx-tools-versioned-Only-build-ocaml-4.07-.patch]... > > > > [3. text/x-patch; > > 0002-gnu-ocaml-migrate-parstree-1-Only-build-ocaml4.07-va.patch]... > > > > [4. text/x-patch; 0003-gnu-ocaml-Update-to-4.13.patch]... =20 >=20