From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id WPZBOCT5U2TEPgAASxT56A (envelope-from ) for ; Thu, 04 May 2023 20:27:49 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id KPFeNyT5U2T3qgAAG6o9tA (envelope-from ) for ; Thu, 04 May 2023 20:27:48 +0200 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 B41B3864C for ; Thu, 4 May 2023 20:27:43 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pudfV-000377-LI; Thu, 04 May 2023 14:27:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pudfU-00036q-9h for guix-devel@gnu.org; Thu, 04 May 2023 14:27:04 -0400 Received: from mail-wr1-x433.google.com ([2a00:1450:4864:20::433]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pudfS-0004Jw-O9; Thu, 04 May 2023 14:27:04 -0400 Received: by mail-wr1-x433.google.com with SMTP id ffacd0b85a97d-305ec9ee502so144100f8f.0; Thu, 04 May 2023 11:27:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1683224819; x=1685816819; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=vBO1esC7I8TPvEDbxoZ5TFx0+TZafOAq/FEknAtEJ0w=; b=F0GUZMxL6WlFNR5YVYJpXTyGoNfKg7fLCU2sPahcNN8eNdlKbkpBUaHHVt7/qbePny bULDdTy/rlpRT3XfJBryDCV3FDXPUzb5bxi9ETgkOGZIx1M7z/x6EKriHWCWg/bs1NI4 nKhHpSkH73f3E37KipvVfBzt7eYUPfiTU1IOmdpfq0Jo/+Ib0cr5RdAmKtK92jFFQM94 VxI8wXN/+UjBa4dw1yIyjYuKPz6vKjhG9Hbge4D3NB+Z2xOeCP6XU0hegsFYkxK7R5k6 YN5JNST3LuSNMBtO4hkxJZHe/oaEEo6fUacXhsLmzMI4qbjgdIz2KxqegblO8cOuqfpp 8yxg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1683224819; x=1685816819; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=vBO1esC7I8TPvEDbxoZ5TFx0+TZafOAq/FEknAtEJ0w=; b=iYN9jVJ/bOnbYWoY/8btabRQr17ZfN45A9aN2P5IExr96trT2K7RjM7/3dj0CTL4tz LBo79i5nTD227VVRm52U99tAaDpAIecJob26665VlR8jW8mIVK7BtD2BEqRqtDHXxCu3 uXSjdXpu5bLd22CTrzH1h0ORh9TSUy7Ovk+PMzGepf+pOP8m2y+AGFLPN35gHn+1DPkR PjwXh2+Y/MdI8ldpFzPh0JSSJEquhEBiiu8uVZaRkeoOFGVgFeTXTbC8URuvXXCnnjyx lYgAHYeOrPaAwxGPFvKN8f/JxB2WzJ4+XKS9vkiCTi8sU1j+rT4EnAWn3iuVwuuw5ydV R6fg== X-Gm-Message-State: AC+VfDy/Xh9O8dOnCAm6vHq5FibCUMWbm/6OaG2hHmAhI+nfVGvR638N SR+QITeHyQAnheILIYBRasE= X-Google-Smtp-Source: ACHHUZ5yVe+xcA34p1EAtUX+i7pSX6tsh0FhQiwJHsldOK4hq7x7f83FOCH5Fk37o47wDfiQ/YSnBg== X-Received: by 2002:a5d:620a:0:b0:2fa:b265:a010 with SMTP id y10-20020a5d620a000000b002fab265a010mr6754660wru.7.1683224819598; Thu, 04 May 2023 11:26:59 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id v14-20020adff68e000000b003063430ad9bsm9298292wrp.88.2023.05.04.11.26.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 04 May 2023 11:26:59 -0700 (PDT) From: Simon Tournier To: Julien Lepiller , Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: Andreas Enge , guix-devel@gnu.org, Lars-Dominik Braun Subject: Re: OCaml bootstrap In-Reply-To: <25636CAD-C6E7-4519-BA2C-2D58A5B222FD@lepiller.eu> References: <87ildg9jln.fsf@gmail.com> <875y99w1yy.fsf_-_@gnu.org> <7886BBF4-021D-4FB1-B175-50AB77EDD9E2@lepiller.eu> <86y1m4xzdd.fsf@gmail.com> <25636CAD-C6E7-4519-BA2C-2D58A5B222FD@lepiller.eu> Date: Thu, 04 May 2023 20:26:50 +0200 Message-ID: <87zg6k6jh1.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::433; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x433.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1683224863; a=rsa-sha256; cv=none; b=UX0cD1cSJBz2j78JQy3O1Exx4U9uPfhn71d6LpuOTmECciuDuo9xfiPEdIoL3/TBVz7128 yH2I8/R6N+laBaY+dZjh+cxJw0Sl7UKgYlfTJGI5dkgDW1qDXyurBjn595nOXeyb/zvjst rL35+CwV7sJ7u70EnLzBCFnhxDhycwgPked59CzWR8zWDg4o1swMkHqviNqEg+ZkxG/B42 xDO0WhERM67eh/4r1jDmAyaYfUL1AHUC5sI1k0qJW4EwnMrPgkZjsA5FqK0jp+GGmmMhzA m1BxHuiQPQMkgZ2na1M9hb/l0U3yuIahadKISxhF5jwRo4C+7j2NZuXIupLdnw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=F0GUZMxL; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1683224863; 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: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=vBO1esC7I8TPvEDbxoZ5TFx0+TZafOAq/FEknAtEJ0w=; b=JK0ni3VaeGNIWMmKBUMXvOAMtesatCxPWn0kkulaBV8IRPWdMkoewRXMf2CcZtZlO3jfpO M+z8vsEsyK2fv9LRLATrW1zFmT7nEP0jiRo16c0NLklGoYG0ypfVE21yEJR5TXKCjxj9nf M3XBmmnTkQmYPJ2LEz5jypzwBBbKGw47jGKSy8P0v23HDWbGB8Ver6N+RCGIkL7HrUkRtd BCOp12VwSbI07iCAPqVsrY7lDJOKJT/So1ef85x3dZtwQjf6LxIUrgUGstcw5/u9sNQT/m uQLlQbrgu4XJ5Cv8oGofC4Flf+zVlIQJn32tqvONzyh6MITA7pughdL84NndLQ== X-Migadu-Spam-Score: -7.20 X-Spam-Score: -7.20 X-Migadu-Queue-Id: B41B3864C X-Migadu-Scanner: scn0.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=F0GUZMxL; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-TUID: B6m6Av9QfHki Hi Julien, On jeu., 04 mai 2023 at 12:01, Julien Lepiller wrote: > Have a grep-for-build that is never updated? Build camlboot once and > repackage the binary (making it a bootstrap seed)?=20 Yes, something like that. Well, the packages that camlboot depends on barely change because most of them are =E2=80=9Ccore-updates=E2=80=9D packages. However, still. Some packages (autotools) use guile-3.0/pinned instead of guile-3.0. Other gdb/pinned (rust). Etc. Therefore we could use something like /pinned (or -boot or else) for building camlboot once. This allows transparency and being able to rebuild if the worst is necessary. But then, we consider the binary as the bootstrap seed of OCaml world. Maybe, it could be discussed with the OCaml community. Well, I do not know if it is worth but somehow I think that a similar strategy as MES and bootstrapping C could be applied for camlboot and bootstrapping OCaml. Something like gnu/packages/ocaml-commencement.scm that bootstraps the OCaml world and this would depend on packages that are tweaked with a lot of care. Similarly as the MES bootstrap chain. Cheers, simon