From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 4NT7F7QFTGRJGAAASxT56A (envelope-from ) for ; Fri, 28 Apr 2023 19:43:16 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id dXPWF7QFTGRkaQAAauVa8A (envelope-from ) for ; Fri, 28 Apr 2023 19:43:16 +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 A9F79378D3 for ; Fri, 28 Apr 2023 19:43:15 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=VTei2nbw; 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=1682703796; 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=cBwbfRLgqeV3vWL9/gOmwWu1JLvAuR/XpatL+IuI7mE=; b=YOju2CI8PxPKjfJt58Ohv+U+UFp5rmKIfzrHw3acpwxyMT9nJ8l7i09zibo8gkz5EFHijU gGZk5l94MqMW0gJD0w1FMKNFpuDPaMCRYkfgcBbYJWm2BulOPfYW1v6pzbmf6q4lTAljxJ IaL+JkZzo6v0YzvUJ6vGUpunis6ho3Spp1gMaXNCmLNjzh8fdQxw24yMbTqSJpo1gzS5OL kUlxr+FMo1+OayhoqPBuNI+/mdzQencwyvGFtBP695q3dxdJCmKB/q9aIY/lho+7ykzlQm Ap16UJpq2CmuZxq5Ujx1VD4T7aK9NJK/8XHrf8fMSS8h9Q3S2QovDsZgHvizmg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=VTei2nbw; 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-Seal: i=1; s=key1; d=yhetil.org; t=1682703796; a=rsa-sha256; cv=none; b=NPm4sEB8jr521mRMcaqrDEhBxTSXVosIoBY7JLvOkYhWICA2ggCGGKWOAD91UR0ogv9iKb S7Mi3z/yEYDq5CykDBbgiarSuHm89dKs4Aq4lv8rVLHEY/sHMTpIElBTjdi55IV6AjeFoz i4rj4p/dKYhvN/tlIfFN49xMaGMtSAcBAykhtHq7RlYljm7J2Rq6421+lMe9Ni59JLlc9J r/osl9A8+/aLFJ+1wRZ/MvTDvsqzi+L5JCoTEU5tQ/KeLLLt7jVUGljmIvo4FIgxCTaKZo l+YjHONtBfx1uCfjwpm5SntUdchx5nmjUUM1FXEdFPj1A3J8KFvdoeVlKwyRUg== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1psRSt-0002JR-3q; Fri, 28 Apr 2023 13:00:59 -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 1psRSs-0002IE-5T for guix-devel@gnu.org; Fri, 28 Apr 2023 13:00:58 -0400 Received: from mail-wm1-x335.google.com ([2a00:1450:4864:20::335]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1psRSe-0007NX-MS for guix-devel@gnu.org; Fri, 28 Apr 2023 13:00:57 -0400 Received: by mail-wm1-x335.google.com with SMTP id 5b1f17b1804b1-3f16f792384so23555705e9.0 for ; Fri, 28 Apr 2023 10:00:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1682701243; x=1685293243; 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=cBwbfRLgqeV3vWL9/gOmwWu1JLvAuR/XpatL+IuI7mE=; b=VTei2nbwnIH/0ckVt3p17OJt3qPpGA/ZiHcOcCctWseh+DvON1F63YvvcbGDfB21VB H5sSU4DIePh35q1GsndQH9P4i3cp8E9lAOYPNH4pW3WSqnU3ZHoAbEQ9iOU67jVy2kQ2 PUcfth3DJDVFJgaECx7g6a00BYCFbJJ6eREFKVsnT0VsgaCEH634NQZD+0JsUF/KN+Vm 4HNnYZO2M6t/RTcGblye60HhkIO7Dp+tcvGLXYilnzQIuvIshSe1c2Kz83d/5XV+oQv7 Ig2/RH1Ctq6ZPe6OEHhYhIyFMVhNewz6YP68Uu1ign5lHFkQnYxz2cWCtsTpoR07qnql J/PQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1682701243; x=1685293243; 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=cBwbfRLgqeV3vWL9/gOmwWu1JLvAuR/XpatL+IuI7mE=; b=LlvU7DNg1u5XeumFItCq+W1IZMM14bMQQsWSH6V2YNW3botltZKDbrW6UwSdW2YE+y w6mvbPmjYr7ZBz13t9rJScAJk+CA/rePFaccf8P45k2U/eqX44MWevAWhCWGfz7YXe4I 3/E8LNdUMyiq351wSM7pkpT6zdnfQWQ4LyJR8xcfqpw2CXA5oMcg6ysl89nU0CYp9Fh2 OfvWuu/P9HSoWoSXhzV/GAGJlLT0oL2smxrs4qL6J86z1PQ643FfRancLY1d20Qclvn/ SZ6BYLvCdPnz5E2mLcK0RxudtKsZdbgjkpBqFKYVL19XOSb3Hf5uWrXv2VluJlih2GnW CFkw== X-Gm-Message-State: AC+VfDxtAexrPV5SLT3Dca4wydXGj+iwqimV6Lwxf7hGexm2x1oDGtKz jyusJgwU0uiBEXQdCbmr9to= X-Google-Smtp-Source: ACHHUZ4LtFrs27d5GIh/lB9WJmZjn47wrE2UA/CUtK7o24lC2exx9k/yk1GXiWdbat7sAz4I3EQ5Dg== X-Received: by 2002:a05:600c:4748:b0:3f1:7332:40c3 with SMTP id w8-20020a05600c474800b003f1733240c3mr5090601wmo.0.1682701243126; Fri, 28 Apr 2023 10:00:43 -0700 (PDT) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id p5-20020a05600c468500b003f18141a016sm27969695wmo.18.2023.04.28.10.00.42 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 28 Apr 2023 10:00:42 -0700 (PDT) From: Simon Tournier To: Andreas Enge , guix-devel@gnu.org Cc: Lars-Dominik Braun , Julien Lepiller Subject: Re: Core-updates merge In-Reply-To: References: Date: Fri, 28 Apr 2023 16:17:40 +0200 Message-ID: <87ildg9jln.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::335; envelope-from=zimon.toutoune@gmail.com; helo=mail-wm1-x335.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, 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-Flow: FLOW_IN X-Migadu-Country: UNKNOWN X-Migadu-Spam-Score: -7.94 X-Spam-Score: -7.94 X-Migadu-Queue-Id: A9F79378D3 X-Migadu-Scanner: in3.migadu.com X-TUID: +H1z5vISL7El Hi Andreas, On mar., 25 avril 2023 at 16:09, Andreas Enge wrote: > I have just merged core-updates into master and deleted the branch! Awesome! Thank you for your patient leadership over the past months. :-) > - R on powerpc64le needs to be built by changes to valgrind and lz4 > (Simon Tournier, I). Now, we are good, right? > - There is still work to do to bootstrap GHC until the latest version on > i686, and to potentially shorten the bootstrap chain (Lars-Dominik Brau= n). Argh, I will try to finish my patches soon. I have: + turned off the test suite for =E2=80=99ghc=E2=80=99 =E2=80=93 it allows = to not be blocked, + introduced =E2=80=99ghc-testsuite=E2=80=99 to run the test suite, + introduced =E2=80=99ghc-toolchain=E2=80=99 which depends on =E2=80=99ghc= =E2=80=99 and =E2=80=99ghc-testsuite=E2=80=99 =E2=80=93 well, =E2=80=99ghc=E2=80=99 being hidden. Something similar a= s GCC. + shorten the chain as discussed elsewhere [1]. 1: https://yhetil.org/guix/87r0siem5c.fsf@gmail.com > - OCaml could be simplified by dropping version 4.07 (Julien Lepiller). Well, 4.07 is the version that is de-bootstrapped, i.e. bootstrapped using =E2=80=99camlboot=E2=80=99 via Guile =E2=80=93 for details see [2]. However, higher versions (4.09, 4.14, 5) does not use this seed and thus they are not de-bootstrapped. Well, I do not know the status upstream; from my point of view, we have two options: a) Agree with other distros and OCaml folks to rely on a common OCaml 4.07 bootstrapped using camlboot and then use this OCaml 4.07 as the seed for the subsequent versions. Somehow having a way to verify the current OCaml compiler without running again and again via camlboot. b) Build ourselves a chain from 4.07 bootstrapped with camlboot to modern OCaml compilers. However, each time we modify one dependency of camlboot, it means rebuild the complete chain. Well, bootstrapping via camlboot can be very slow and I do not know if we have the resources for non-x86_64 architecture. Here, the list of the emerged dependencies: $ guix graph camlboot -t bag-emerged | grep label | cut -d'=3D' -f2 "camlboot@0.0.0-1.45045d0", shape=20 "guile@3.0.9", shape=20 "pkg-config@0.29.2", shape=20 "tar@1.34", shape=20 "gzip@1.12", shape=20 "bzip2@1.0.8", shape=20 "file@5.44", shape=20 "diffutils@3.8", shape=20 "patch@2.7.6", shape=20 "findutils@4.9.0", shape=20 "gawk@5.2.1", shape=20 "sed@4.8", shape=20 "grep@3.8", shape=20 "xz@5.2.8", shape=20 "coreutils@9.1", shape=20 "make@4.3", shape=20 "bash-minimal@5.1.16", shape=20 "ld-wrapper@0", shape=20 "binutils@2.38", shape=20 "gcc@11.3.0", shape=20 "glibc@2.35", shape=20 "glibc-utf8-locales@2.35", shape=20 "libffi@3.4.4", shape=20 "bash-minimal@5.1.16", shape=20 "libunistring@1.0", shape=20 "libgc@8.2.2", shape c) Fix the dependencies of camlboot. Well, it seems a separated discussion but it echoes the recent blog post [3] about =E2=80=9CThe Full-Source Bootstrap=E2=80=9D. :-) 2: https://10years.guix.gnu.org/video/camlboot-debootstrapping-the-ocaml-co= mpiler 3: https://guix.gnu.org/en/blog/2023/the-full-source-bootstrap-building-fro= m-source-all-the-way-down/ Cheers, simon