From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id yBOJLIuY/mRzawAA9RJhRA:P1 (envelope-from ) for ; Mon, 11 Sep 2023 06:33:15 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id yBOJLIuY/mRzawAA9RJhRA (envelope-from ) for ; Mon, 11 Sep 2023 06:33:15 +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 19E55439C1 for ; Mon, 11 Sep 2023 06:33:15 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=N7l0v85D; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="B UN14vg"; 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"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1694406795; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: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:autocrypt:autocrypt; bh=qyXb59TxOjtlsvEULmqVCiK/TkZT6+OFYqbQr5CXiMA=; b=crDfrA5WRyu2EbfzqLIlTebRRLYAafwqXOvHpitHXDkpRKPQT2ei4atWaaBp3kUyhtxFMx DTUwNKvknI9fyrWEcVVrzuZFhet+sfnkBbyyiIJ+G8hvlkrBVRDOkzjK3XXKq76h0JCpJS iViMlLPzAfVMJfGYdYo5u+aerHnYa9c/14WdW7khLK2nKBoyN9znU483yBWqimGQI5UQnf Yalm11fJY9ihLrcobdgYsoUen2B7noUqTwApSSXftZE9cFOa0lDHsjAuHX7MVopg+sZ7og L04ckiEdeAt26cl0I/XT4DOblMPnwoVo/d1de6eVnfy30r1qB+3BnrNP+HPKEA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1694406795; a=rsa-sha256; cv=none; b=YY4m0cQ8dy3N0S5vRZClnuVrP6F5sL22L52uP4qqCxu64TUhUUD2TB4bC/zO3PBnQwbdeH BzUu3Weg9RYx/+s19BAtSENUhZ7jwyK9cM3Clr2/Z81KCbRfV09H/tCSfhvtWBNARxWUXJ eIOaUachxPmM54Z6sMSdxVqr27DlF16xKk6yO07hgf3PtjEqVPIoHF03vDOG4cN0bDU8UM W58x6MqOZXiJiHmQv9Db0VVbeS5zo/VrM9CJo8TBfMT3c5bDR6zywGxdviT1CH4QQcJu40 wt0gSd3Mg0+iV0ouOi9/VdETl7A+aqd5BjrZ1+D4k3bCmKjj/+e4YrkRRyo3eQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=N7l0v85D; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="B UN14vg"; 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"; dmarc=none Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qfYbb-0004VS-CF; Mon, 11 Sep 2023 00:32: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 1qfYba-0004VI-GL for guix-patches@gnu.org; Mon, 11 Sep 2023 00:32:58 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qfYba-0006w5-8T for guix-patches@gnu.org; Mon, 11 Sep 2023 00:32:58 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qfYbe-0008R0-1D for guix-patches@gnu.org; Mon, 11 Sep 2023 00:33:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#65482] [PATCH 0/3] gnu: racket: Update to 8.10. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 11 Sep 2023 04:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65482 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Efraim Flashner , 65482@debbugs.gnu.org Received: via spool by 65482-submit@debbugs.gnu.org id=B65482.169440675232384 (code B ref 65482); Mon, 11 Sep 2023 04:33:01 +0000 Received: (at 65482) by debbugs.gnu.org; 11 Sep 2023 04:32:32 +0000 Received: from localhost ([127.0.0.1]:51829 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qfYbA-0008QF-7D for submit@debbugs.gnu.org; Mon, 11 Sep 2023 00:32:32 -0400 Received: from out1-smtp.messagingengine.com ([66.111.4.25]:35129) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qfYb7-0008Q1-Eg for 65482@debbugs.gnu.org; Mon, 11 Sep 2023 00:32:30 -0400 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 4452E5C00E6; Mon, 11 Sep 2023 00:32:20 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute4.internal (MEProxy); Mon, 11 Sep 2023 00:32:20 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= philipmcgrath.com; h=cc:content-transfer-encoding:content-type :content-type:date:date:from:from:in-reply-to:in-reply-to :message-id:mime-version:references:reply-to:sender:subject :subject:to:to; s=fm1; t=1694406740; x=1694493140; bh=qyXb59TxOj tlsvEULmqVCiK/TkZT6+OFYqbQr5CXiMA=; b=N7l0v85DCziuhjBQpoWHgX3rTG JFoAgHWl0rzXlxyz0Cdh9ebulelI5A5A72+iWuLp5tWKd+iKG90k74uG/V3q0f2k ChOGaSSNm7oyFLP9QMKcw60js0mrhdygWs2vaC3o5h7uKexSXnHTsCoy7X3FaCht R51eF1favoyZ66MsDkTm15TH+geIvDuq4gu3RpxIsOEvxVN2zLB4HvafJzdxB/k3 lN0EyjS0I8h0xGMQUAQEjfibCeeYVtkRR20bQARZJBpZjFjRPGEmRjeRJmcT0Sd6 jB/pGSxYj1fbwcQnmFfmQCwsNBPUZDlIJgdkmWKgeM0j2CtziIzzUURvL6Ew== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :content-type:date:date:feedback-id:feedback-id:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:sender:subject:subject:to:to:x-me-proxy:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm1; t=1694406740; x= 1694493140; bh=qyXb59TxOjtlsvEULmqVCiK/TkZT6+OFYqbQr5CXiMA=; b=B UN14vgj2oVPJcMetxTVhNOzFNwQD/qCYOPpEpEVcnmlFStzS5PHKK+LniUBlUx3X 1kn0diY91y2v1/BUf2R1tb66uE9CY3FY+EZyq2axl/rmBZxOPXW+zGDSXWbbNs7e Jew56MP+wKkJMln9+jCI0kiFbPCf1mYSFJANTCjI+NEb48wbZWYEaSXh8pgxrY7Q 89ywda50k11DXKriVXUfY41CNRH3tYgOtS/5A70/EoFlDewxABzkiGB37M/aLlk+ //lgw/8mNDYFAQXaQ3EcBUfkesfaHcpNzPS39MELEns0dsP5GUIFr4YCEWooS7gs Ey0zberNw6SUvH/MuNmLQ== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedviedrudeifedgkeefucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhepkfffgggfuffvfhfhjggtgfesthejredttddvjeenucfhrhhomheprfhhihhl ihhpucfotgfirhgrthhhuceophhhihhlihhpsehphhhilhhiphhmtghgrhgrthhhrdgtoh hmqeenucggtffrrghtthgvrhhnpeelfeegtefgudetueduudehkeeigffhvdffuddtvdei tdevhefgfeelvdfgkefhkeenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmh grihhlfhhrohhmpehphhhilhhiphesphhhihhlihhpmhgtghhrrghthhdrtghomh X-ME-Proxy: Feedback-ID: i2b1146f3:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon, 11 Sep 2023 00:32:19 -0400 (EDT) Message-ID: <7fc05fca-b962-43c2-9215-1e7f7b20f60e@philipmcgrath.com> Date: Mon, 11 Sep 2023 00:32:17 -0400 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US References: From: Philip McGrath Autocrypt: addr=philip@philipmcgrath.com; keydata= xsFNBFxfDXMBEAC50KOX7FVfbH5kzv1IWAu58hz77HfgH46izt8+3X51/AzD0QsrVnzz3fS0 37e5wnB4hpT/a6iGPbaah02nOhrCWjllWQrnp7rb0q9w8rnA41W5Aeajsob3/mPlSTkgX77/ nfXHFSaIPi+6DseAQO6EMbQrA/Ue4Yal/LWaAcpmGeAXUQabvH1I7LY5f6RI/pMii5cVmqm/ ea/oVroVeT4lBLh/1jEKv+tCVn1h9ks5L5AcbumaenEjgtJZ22/WUNowLD21uug7WCHlVdf+ 3PKSg/Hd7jotxYrfbhIEH2494KnenslxX4psavsH/AAWWTouvdiY5Q2d7eDH6P6ggWa1fXgs LlxFgtTTOmNTKViBKYk/g6gE2DpTaNG2pPqblxVlgy751O9y5UTBET0zj75BY55dKzoKg541 hBwKuwhNj0fA3xKesYzs2VdrzredEHegPeucQfTBSQ0G8lNdofElyv1e92rJtkAJXpodwNJf gmfJpdP33PPd1a7WQwWbo96JAkTkYnisEQyvJbQ8AvJw7V9xY79/pd2dXJkz88HZP486UiSK RmO9kItVSjCYz2Tqv75aZocpC661fv66GuLZfOCR1I0nbXNFxNs6K3/otJ3ignDFJCD4wk6j TlSODDeeXxDJtyBBrnYIzgb86KI3RJxoKrfbos0oavfWA2NGpwARAQABzSlQaGlsaXAgTWNH cmF0aCA8cGhpbGlwQHBoaWxpcG1jZ3JhdGguY29tPsLBlAQTAQgAPgIbAwULCQgHAgYVCgkI CwIEFgIDAQIeAQIXgBYhBPRlq6zWN66sFBVVz8oDY436Pxx6BQJkZmCHBQkJlXgUAAoJEMoD Y436Pxx6JvoQAKufvt1nAdezaIj+LccaKMOCNnVFxXBIDyaU9+Gmqh1ANQGLpdljfFmecpWm 1SA3sqDZapF2zg/hMHWbDGvdHJnPbtfnfS7ZZtOpdgRtMpE4zVeSi4t2NcIV0wQiPBXZhR0O Qp2PCMsExunJ0DV1pPMEt5r825haNPXZErSM3ectFgJwxjxEeOZ7khmrVrWZe0OddSsEEQsn 9jxpftLRgE/6N31wDuM/BDIrz+6AOc98zKFIoMmv8z9p1EEOvoFs7WunJklpWq6W4FggIPT0 UxlycFQBxzpVj2ga6MZVZ8Sp2fq0jgKn3uubYySyNi8SE6PfSre+QIG54OA+j9NSiVi36um7 Z4nqRC6JPoBe2VTwaZLskeO4grYHKFZHKVyOk3jcvDY5R8uyh+hPPj5kvYS34YFESZf+5LTA HoYmaOY8YGEqH66p9ukYbXaAoH9lmQig0zVcyyE9o8OuKhkvksiJ+2pEYtWXOkVqvj18xlfQ mLfhlWYo/o42x975zACjrZQe5+ZdQS9sz7ietWrHbZ9+hl79iSfeVkNvMikdZ5CZ81YvF42z kpDr6vWc2ImxIpgCTRp5HAUtKVsUJE/+yJop+AeVMonzzGaFd5tG/aT5BOz3w6ua3WfXqA9b NpeO4ANi2IQrhhWNq26JWx3Yx/QgxrNm44skIzuEEyL3b6Q7zsFNBFxfDXMBEADq/Vlop4lx W9Bi7cYaxjnhNMbDxR3aVV3GMy7zkuV3fGjvTAuO7raDoqN91y2bvm+vkM54Mw+Fu3ThBHCc niYkdgyIlpLNfFhQOOBtlj1jNmCGTOp7JBJ8mjQucOGy3A0uUaqvkMncO2trsfEsRD25nTZV dji4cHePP86Uc/w98OBt5cPLyM5/WU+GTpPBATFc1u4DocMSqbCZcNLDr1O7P6Knl8vsCtRj r4X4xp3d3I+aZ1h5l/Hu20u+/7fg8PO/WDOCMwqN64xB2OHLv7bQm0piwVN+Gkyjhk9EJINO m05ieGxvsyAaQDMkgvm/Hp1G2LJEWkxaTalnBawaVYM4TgpE5hU9gda3Ld/pdT2lkNmVq47v d//NBYWa1/aJGqBP2XlW0JMywmDEVH2fFwVqMQ3ZzE+N4HnSR6Uslv4DpIeYLGevheHLqegO o5VySo/P+lGQDO0vSHbBZgRJ/ROwNvkJVEQ9pI34Edt2zCfUYqjUU+3tcd2xgR8/JP2dnjYp NDq4CK/8ywk+sl8WY8MQpKccJdWp0CVgp2y88YALn6x9wxsPGQ8Lk7sB4ADwwPX87pFdJqe2 2oKgG9HklBTSxvdr1fN+/n4AD5XPBhMpi9UZHdaVuWzVfXU6EKMHlsJfJ7sF1atKVPcQDIN/ SxwTlxmsHVCMxifikklhQwmD/wARAQABwsF8BBgBCAAmAhsMFiEE9GWrrNY3rqwUFVXPygNj jfo/HHoFAmNsLkkFCQmC/B0ACgkQygNjjfo/HHrGqxAAgdV2GRCEIJwbLtRTv4qpfANsfX/I S0KZBDbwtZuCDceQTfsS8lF5WGJOPxF7MDkVGRhBPYpVamO56V+Y/o6drX0JEeWqLwB3nc8b PFpFcGTFOxp6Q1Ps4n/L/+hhTsI4vO79jsf97s7GPhSLpnzakb2Enh25G/MoToj6qQvuuqFW lDX1hxBC9Jf6pnuX1XGUik9LZVpuqf9suVgNa4Wf6ZverzphPWObXifpjVREk7jJ0g2OBGZz CATDfgEfu4OtV2JEeSrPZeFoHPQzsFfO/n99ZxBWVLbiXJgNTnU/vwbPkMpPjED3WSwTesW+ SgXfZf4KHFigC3Z34uhXfxn4I1XEW7UGgbtsrFqJI+WVzP2mUeOzNoz980N1tfowzoNShfKD rcDhtpyZZcaA+0O1oVSKs3LUT4QNiYl/lcg4l0qnBvj+ilG3ViXikhKn4RMJUppbXCx09ZBK Pz1PAvig0mnpCWCjizdbtuFzkZsLmfYjIbxkXBLMmQdqMgqUnsUGvUh0u+v5zQlc3IQnpLBt vkQuitsVuqkCKSILz8p2DyA6PWRI988fGPakjvV13iGwAIfFPsNvOoWsVLz3GT6f9chF4fAY JuOem41lA82RZB9fPty0S8YVavucU7qzTfHRj6LwvrWzLk6wRA7ThPHWVAZsyH1iYO+nUOsU FFu7icw= In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -0.50 X-Spam-Score: -0.50 X-Migadu-Queue-Id: 19E55439C1 X-TUID: PlyCqIP5kUry Hi, On 9/8/23 02:12, Efraim Flashner wrote: >>> build directory: "/tmp/guix-build-chez-scheme-for-racket-9.9.9-pre-release.17.drv-0/source/racket/src/build" >>> configure flags: ("--disable-x11" "--threads" "-m=trv64le" "--installcsug=/gnu/store/c66pkyb1kvbi0jn1shanxrzbjvfqjmqf-chez-scheme-for-racket-9.9.9-pre-release.17-doc/share/doc/chez-scheme-for-racket-9.9.9-pre-release.17/csug" "--installreleasenotes=/gnu/store/c66pkyb1kvbi0jn1shanxrzbjvfqjmqf-chez-scheme-for-racket-9.9.9-pre-release.17-doc/share/doc/chez-scheme-for-racket-9.9.9-pre-release.17/release_notes" "--installprefix=/gnu/store/bqjwn04ix8xd9bwdni861244yza75qrf-chez-scheme-for-racket-9.9.9-pre-release.17" "ZLIB=-lz" "LZ4=-llz4" "--libkernel" "--nogzip-man-pages") >>> No suitable machine type found in "../ChezScheme/boot". >>> >>> Available machine types: >>> tpb64l >>> >>> See "../ChezScheme/BUILDING" for ways of getting boot files. >>> >>> I'll see about fixing the missing files or configure options. Don't let >>> it not building on riscv64 delay this update though. >>> >> >> Thanks for this report! I would have expected that to work, and it's tricky >> to test without hardware. > > Ah, yeah, QEMU is really good but there are definitely times it isn't > enough, and without real hardware it definitely falls into a "you want > it, you keep it working" category. > In one of my early attempts to test for ppc64, I thought everything was working, but I'd actually just been producing x64 binaries. Then QEMU was crashing when running Racket BC, perhaps because of some complicated tricks it plays with the stack. >> Before getting into the weeds, I agree with you that it shouldn't block the >> update, especially if it was already broken. I'm not a Guix committer, but >> as far as I'm concerned this series is ready to merge. >> >> As far as riscv64, it looks like chez-scheme-for-racket-bootstrap-bootfiles >> created "portable bytecode" bootfiles ("tpb64l") instead of native riscv64 >> ones. You can confirm if that is the problem (or at least *a* problem) by >> checking if the lib/chez-scheme-bootfiles directory in the bootstrap >> package's output contains a directory named "tpb64l" instead of "trv64le". > > That's what I saw when I looked. Ok, at least it's clear why this state doesn't work, even if still I don't know why we fall into this state. (Note the "-m=trv64le" in #:configure-flags for chez-scheme-for-racket, which correctly specifies that we want the native backend, even though rktboot produced the wrong set of bootfiles. > I've been poking a bunch of packages > recently so I don't remember exactly, but I think I tried building with > the tpb64l bytecode and there were some issues later on which made that > not work. > A tpb64l build is supposed to work, but there are probably some rough edges. (In contrast, plain pb and tpb are not enough to be able to run Racket.) One thing I remember hearing is that the C compiler tends to take a long time on bootfiles compiled from bytecode to C, I guess because the C is large and strange-looking. Overall, I think you will have a better time getting the native backend to build. >> If that is indeed the problem, most likely either there is a bug in my >> change to rktboot's auto-detection or there were additional auto-detection >> bugs I didn't find. >> >> One way things could have gone wrong is if Racket BC returned something >> unexpected from (system-library-subpath #f). It would help to confirm the >> results of that, (system-type 'os*), and (system-type 'arch). >> Here's a way to test that in one long line: guix shell -e "(@ (gnu packages racket) racket-vm-bc)" -- sh -c "\${GUIX_ENVIRONMENT}/opt/racket-vm/bin/racket -e \"(list (path->string (system-library-subpath #f)) (system-type 'arch) (system-type 'os*))\"" On my machine, this prints '("x86_64-linux" x86_64 linux). On riscv64, I would expect it to produce '("riscv64-linux" riscv64 linux). If it produces something else, then my part of racket-backport-8.10-rktboot.patch definitely wouldn't work. On the other hand, if the result is as expected, then presumably there's some other bug elsewhere in rktboot to be patched. >> In principle, if the problem is only with rktboot's auto-detection, it >> should work to just keep supplying the explicit --machine flag for now, i.e. >> drop patch 3/3 from this series. > > I've thought about it both ways, and since all the testing has been with > the third patch included I'm going to push all three patches and then > continue working on the riscv64 build. > >> Racket doesn't have CI on riscv64 or distribute builds for it, but Matthew >> Flatt did share a nice screenshot earlier this summer of DrRacket running on >> a STAR64 :) > > Patches pushed! > Thanks! Philip