From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id oAVOFpx0U2TMUgEASxT56A (envelope-from ) for ; Thu, 04 May 2023 11:02:20 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id yApZFZx0U2TwmwAAG6o9tA (envelope-from ) for ; Thu, 04 May 2023 11:02:20 +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 11FF63C548 for ; Thu, 4 May 2023 11:02:20 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1puUqF-0006A6-9O; Thu, 04 May 2023 05:01:35 -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 1puUqD-00069c-Ec for guix-devel@gnu.org; Thu, 04 May 2023 05:01:33 -0400 Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1puUqB-00086i-Ls; Thu, 04 May 2023 05:01:33 -0400 Received: by mail-wr1-x42a.google.com with SMTP id ffacd0b85a97d-3064056fa4eso16230f8f.1; Thu, 04 May 2023 02:01:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1683190887; x=1685782887; 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=6rqAaetsiFGQdxnI+ZNSDM0QPu3CLjvZPKGCnCYCEdg=; b=HROpguqIsz5PaPgbxrCM9flVRpfNm3H49yauQj6DcA5/TMXjdhLkmpkjnHcq2geguy Xbg4l1XN+cLVpO7ugaPAVuWi9S0b7rQT4YVA0EjUttwVk5s8gle5P4pd31vlFUBRkbsb MZ+/q+9m/cyKH78SvD+iorTBuzDP/5NZ4OmLXbZ8T3vs9aJ5ODLp4OIuwy7RQrBmYUE1 uYWcU2wznZLw7zHEEU3B1pXBUjl9IvmggivaDjrWVhGIeE2XVlvNbHwaXQDMklKgZh2s nPR3skEuFAUObCy3BbuYqX9DO62iEt+rsaX8qdJKWaC8x+Em/59PMMEqTk5zwsk63g5F HpQw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1683190887; x=1685782887; 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=6rqAaetsiFGQdxnI+ZNSDM0QPu3CLjvZPKGCnCYCEdg=; b=IRYuPMT1GFJkJoDr/NpHdsBbSG3fP1RVlEZRTum1B7uompULG3BBcAkQC5uch/PG8V qKiyYE2/2Fd0uro9il/i3vJbzCo82rzKsHcSQG9iNSGuCdyhv6eXNXKbghb8qFuXmPw6 QsThZf/+E04KWK2vEctnqQInkdQa7GkvOAwa9etv2ia6El8xzDZpUdagDDm+PyG8g4KT Y7mjSd4tuV7OF9h+gBw44X0u3OCq2fbzUjfJTSZonhiwna9PModbXdy4zuRXUB+H0oMs 4i+JTkqee1in5U39pCIxrP8Ipf0uwIiAvWUguFhBpQTmvrecUqQ5o2lZor/JSpmAF3of 9DFA== X-Gm-Message-State: AC+VfDzaVfxNfR3lUH0hjeKaRYPvMJ3W+T+NcIvsWkZ2PHoFJbJu8fOf 2T+rCc5vRcc8HZBi7O4qGNw= X-Google-Smtp-Source: ACHHUZ5Xk1BDzVF/aVLpmgozpNDGC+MNollab1YCrumPJvfNvDjcgOSu5tJq80U6HNLpFyYMkhgiFQ== X-Received: by 2002:adf:f047:0:b0:306:c011:d563 with SMTP id t7-20020adff047000000b00306c011d563mr735488wro.3.1683190887101; Thu, 04 May 2023 02:01:27 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id e18-20020adffc52000000b002efacde3fc7sm35975652wrs.35.2023.05.04.02.01.26 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 04 May 2023 02:01:26 -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: <7886BBF4-021D-4FB1-B175-50AB77EDD9E2@lepiller.eu> References: <87ildg9jln.fsf@gmail.com> <875y99w1yy.fsf_-_@gnu.org> <7886BBF4-021D-4FB1-B175-50AB77EDD9E2@lepiller.eu> Date: Thu, 04 May 2023 10:41:18 +0200 Message-ID: <86y1m4xzdd.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::42a; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42a.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=1683190940; a=rsa-sha256; cv=none; b=IL3YTVar3N8NK4GhHEPvYzM0xbhTjcRLIx+wjp/mQVSNyOf52SUVFOqhO5eBQ3WDHec1eP 1QvPLKG/0yiljeAHrWMXiPV9+H77Q20sMS5whVCWNBLO2hAZNZ2fs9jRke1quTFOW0l+At tIogJvBkTrOXitpzPbrYU/bpDB77XZmgjtD05VmNrJWM3L/YUnaOSF2+GlHFlloaULnZgY Zw7ro/rju3E06bXY+62losfJHMUhGAeoN2v2wuIxv78onQ818TWBKvkNlZYL2U97pcxpD9 6zyWJHKqoX0FXtq2NMQDb0nhygV90JvD4Lj6mJOY2G+JqzMWIUVWMSkBUpeJ9w== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=HROpguqI; 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=1683190940; 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=6rqAaetsiFGQdxnI+ZNSDM0QPu3CLjvZPKGCnCYCEdg=; b=VRY2asqwbIYA7zOiCQ3Fsk+vl6vdk4CCBH4JQqbL5NLtfqb/uS1SPHpyyaWs8jjeJjkARQ ZS8tqrI5WJOgpegnmFIA9vmdl8BQn+GhXzZws8K+o6wIOWU48xwX7Kqejr3+20BxUyTFI2 8ZTb6IR2zJA53UuaRmTCYjrnVoGZPbf1gbDp1llsKIolH5dkJvTeEAEGICbk2QL+eBM1LH jntrlTuGZ3gGGi8XB18exOmk1mc9KLfneBhF8W5gm+RKpG61rcNALgLUGMvIMe7sCtbckS i1LhZSMnDZdW072yef471y0DyTveSnw/maCJWxPoHmMvGZZHNgg8aODK2Wboyg== X-Migadu-Spam-Score: -7.91 X-Spam-Score: -7.91 X-Migadu-Queue-Id: 11FF63C548 X-Migadu-Scanner: scn0.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=HROpguqI; 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: LNkUR/LRM9v7 Hi, On Wed, 03 May 2023 at 23:25, Julien Lepiller wrote: >>Julien, do you happen to know if there are plans to make camlboot more >>capable so it can be used to build newer versions of OCaml? Maybe >>something to discuss with Nathana=C3=ABlle Courant and Gabriel Scherer? > We had some discussion here, but there's still some work to do: > https://github.com/Ekdohibs/camlboot/issues/59 Cool! Just to be sure, the discussion is from one year ago, right? Any update? Well, rehashing, I think we could consider a full-bootstrap from source for OCaml. Whatever the seed (4.07 or 4.09), we could consider it as done and fixed. Here all the =E2=80=9Cinputs=E2=80=9D: --8<---------------cut here---------------start------------->8--- "bash-minimal@5.1.16"=20 "bash-minimal@5.1.16"=20 "binutils@2.38"=20 "bzip2@1.0.8"=20 "coreutils@9.1"=20 "diffutils@3.8"=20 "file@5.44"=20 "findutils@4.9.0"=20 "gawk@5.2.1"=20 "gcc@11.3.0"=20 "glibc-utf8-locales@2.35"=20 "glibc@2.35"=20 "grep@3.8"=20 "guile@3.0.9"=20 "gzip@1.12"=20 "ld-wrapper@0"=20 "libffi@3.4.4"=20 "libgc@8.2.2" "libunistring@1.0"=20 "make@4.3"=20 "patch@2.7.6"=20 "pkg-config@0.29.2"=20 "sed@4.8"=20 "tar@1.34"=20 "xz@5.2.8"=20 --8<---------------cut here---------------end--------------->8--- Only guile-3.0 is not a package deep in the graph. All the others are. My question is: do we want to rebuild camlboot and then all the OCaml world each time we update one of these =E2=80=9Cinputs=E2=80=9C? For example, what does it bring on the table to rebuild camlboot because grep had been updated? Cheers, simon