From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id CGnBNn4ww2EMtQAAgWs5BA (envelope-from ) for ; Wed, 22 Dec 2021 15:04:46 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id 6EJ/Mn4ww2EiGgAA1q6Kng (envelope-from ) for ; Wed, 22 Dec 2021 14:04:46 +0000 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 954FA340E0 for ; Wed, 22 Dec 2021 15:04:46 +0100 (CET) Received: from localhost ([::1]:45008 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n02EX-0000Fq-BY for larch@yhetil.org; Wed, 22 Dec 2021 09:04:45 -0500 Received: from eggs.gnu.org ([209.51.188.92]:41496) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n023D-00005F-7b for guix-patches@gnu.org; Wed, 22 Dec 2021 08:53:08 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:45587) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n023C-0000bG-8a for guix-patches@gnu.org; Wed, 22 Dec 2021 08:53:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1n023C-0003C1-1F for guix-patches@gnu.org; Wed, 22 Dec 2021 08:53:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#52729] [PATCH] gnu: ocaml: Update to 4.13. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 22 Dec 2021 13:53:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 52729 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 52729@debbugs.gnu.org Received: via spool by 52729-submit@debbugs.gnu.org id=B52729.164018113012205 (code B ref 52729); Wed, 22 Dec 2021 13:53:01 +0000 Received: (at 52729) by debbugs.gnu.org; 22 Dec 2021 13:52:10 +0000 Received: from localhost ([127.0.0.1]:57133 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n022L-0003Am-Pu for submit@debbugs.gnu.org; Wed, 22 Dec 2021 08:52:10 -0500 Received: from mail-io1-f53.google.com ([209.85.166.53]:46018) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n022I-0003AG-EB for 52729@debbugs.gnu.org; Wed, 22 Dec 2021 08:52:09 -0500 Received: by mail-io1-f53.google.com with SMTP id i14so2038816ioj.12 for <52729@debbugs.gnu.org>; Wed, 22 Dec 2021 05:52:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=WURvG/IHqyoSTcsxSp+Xq3+WjTkbpmb/1YD8Iki4+Mo=; b=ZdLqP576VRFPOJ4wIGwxVCa8yeXUZ+y80yAuml1qcBYiSyclFLf1qgLzfiUG+glYCH sE7Tfcq603o3Ky/BkxY3n/peH84NWrU4Hmeo9yEZ2a76AIpePE7haU+8GqCC+q48rMdf 56m01cZREy35PVGzp7pLLpFyThfySYvD3mu91E+iZF2p1gmpHs5I+Uq0Nq5blTKzyk2b uQfI4Xk0mFXdDC16malGn4lhU1AlV+pi8KBalKLKeTy/h0UcZ6tA0YFqQwitsSHgAcha WC0F/x8eQ5c7CwOvvz9Qfdc3sNc/LzSS1vbq2VC/StJmIJynUExAi4+eD5ZuXFr9rAX/ tS1A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=WURvG/IHqyoSTcsxSp+Xq3+WjTkbpmb/1YD8Iki4+Mo=; b=vOcPDlShJHzpDNnpHPkk67CUGlE0oCKXaeU3GrRv/JGbrWVYbVICTrk+Cnb5aEgPLI j0bIRCutnfVfdLXhl76AQGn7krFd9iCfLyXyFjm/pxCly4xsjKsMOXFCThwCPmZ7hphK i3cM9mhntt9d7tkoy2NxfIc9QPum+krX0taZOsPr42fn5KSEbd2QE88Cjs2irdCmfodG rqNqvhlqNqqTT6tqaMjKfHxLZ5msFOE/8kxXRD/rC/hmbFzNRZ/4iBR+PQb2I5137X6U 2AKOCgdUmk9dND5/6iDL2Hvu8Az2mp2qBh9nO5jh8QQNpiKU/OHYg/yPMZwdTepLIz9t 5POg== X-Gm-Message-State: AOAM531XyQLzFyezSjfl/Ip4mSnhOsimiA7v3xcHBpEYovIWkM9KfeXv Eh8ZTMe5wNobYgjSyAMwxr9/l5zlLrgpj9uCX4CsQfv8q6g= X-Google-Smtp-Source: ABdhPJyjvfgIU+bKbFm3ZnJ5JFyCqML9tpY2r7pRpZqrlc2YYUgXylSEcmOHvfCnQ/gmvnjXYytJyCCiT0JH7f5MHT8= X-Received: by 2002:a6b:e917:: with SMTP id u23mr472022iof.211.1640181120674; Wed, 22 Dec 2021 05:52:00 -0800 (PST) MIME-Version: 1.0 References: <20211222041609.2fde841e@tachikoma.lepiller.eu> <86r1a4n4qk.fsf@gmail.com> In-Reply-To: From: zimoun Date: Wed, 22 Dec 2021 14:51:49 +0100 Message-ID: Content-Type: text/plain; charset="UTF-8" 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=1640181886; 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:resent-cc: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=WURvG/IHqyoSTcsxSp+Xq3+WjTkbpmb/1YD8Iki4+Mo=; b=embefCjoxyO709vFZZ2FVDbyDXYY+muXQ+RGInf8+6+30indlL3eNHXRSK3VzsHl30DHJb xL7KfcnUvYaEWLLB/5HLedkUJ3TuUsgUd2YXrWDf7N4IWAeYyupKME0IMGwiv+Wky81cYg CASw9rw9TkdDDL8Q/NBwVVs9zgtpacdtvIpj+wHCS2xsOKd1ydw0I4gZuDqePS23WIxK3S MZfOG/8p2xTbd6jGoaAMexjZ4rtnxVAs/UbGNx5f/EhycTfjWin+G2ifpHIGX82lkAxC5F xnqWMCNDme8QW2AftTOo6zqpqdSPizZqShFmSk5EUYwpgtNqs/HYdVhsABZuAw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1640181886; a=rsa-sha256; cv=none; b=bn1sB5efwdXqRkq9+XTNEMPs1ZOpBatA470gX3n2VqjqOG4z5vm7AbWhgAbKFoM+tDoCj1 zyjRSBIi1m/iX1FjMYIhCnNXDaWIcAl11mdWqBzd3MV7Afiwytn9eg4r9yfkQZEW2i7CoE 6PVg243M0XhopgekDWiqkM0IJp93jI2PU61vfLiDr1/XZCCiYBk6DNRGZveAgESd8Kqwul TEROvbw6V/Hjf/I3qamO9E+3D5vQb6oiso0SnGWR2/YpeZU7oM2y6pZ/TkWw8SDlCmT4kg sDCIJoaKPdTQGhuIQCV5KDcrqKZT826kJbZpZS4FLrfRS3ap4JCQv9hPoYAprg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=ZdLqP576; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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.74 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=ZdLqP576; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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: 954FA340E0 X-Spam-Score: -2.74 X-Migadu-Scanner: scn0.migadu.com X-TUID: VdE+GFiE19BC Hi, On Wed, 22 Dec 2021 at 14:43, Julien Lepiller wrote: > >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. > > 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. Yes, I remember when discussing the patch adding camlboot and ocaml4.07-boot. :-) That's what you explained [1]. 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? 1: Cheers, simon