From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.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 0LbPDfAXHWRafQEASxT56A (envelope-from ) for ; Fri, 24 Mar 2023 04:24:32 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id YGDJDPAXHWTbIQEA9RJhRA (envelope-from ) for ; Fri, 24 Mar 2023 04:24:32 +0100 Received: from lists.gnu.org (unknown [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 9DE169926 for ; Fri, 24 Mar 2023 04:24:23 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm2 header.b="V dDuwQK"; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm2 header.b=LjrOg8UF; 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=1679628264; 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: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=capo7vavydvunRYSZuPKcYWLzKeVrKdPbDgOkLx7hJY=; b=i2RRG8ZIdc3ZVmXc72aVRx1VIC5D11oORyD1ye6mHSzk/yKmsc8MrUTUCyTBio/tol+p8y gQZUxlLCOJYoqlEnqawBtmYMAF+J1Ff4vBnVA+itLOSWFBENuPEiku4ff9DpetVoDJ5D92 dsqnRwMp2pVN4wtbiHQF6cIkm87baeIMRUMSx3n6Zi+shroRgzosI02x8jKyaHGWmPwUHO T/od/gCFNGCSostrSvmaATVh7Poca/ApSTLdQc8UD5OvEu1lqVe26X5YAwG+RlNdrGLBGI O/2vr4Wlbw0jixXf00VyoQJSudNZIyQvNGcG/HKn0VaiHXTTxfF0EpqmpKSxjQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1679628264; a=rsa-sha256; cv=none; b=XKgn5xbDQ5/4jU9JsK0f6N9jWP+hCXBfnurg94eTblEzI09D/jOyqLpYGuOt3LIJktkqtz zX3TlHIrOoTbeIh4Thv6k3kdX7evvaq76FgexWib3/u+tYch2SkHXrxbsVan2Dbkh+RdVh QkHd8nOQg1PLZToKKlentn3MUa79AV1VY9soleg3aTAV2tvSDsIpyHeo7xwfI548+2KnPm UgAwin3sTERAhfGjiTzoRrDX5vEZKHOPX/tEgawIxJKHktP+c6yfH332J99CDPnH9UQOYC uXJbftTcJdCaAOA9B+eZ6EmUXi8iBjy+lxLv4UwtczkQiliudbbkeeP4Cy6OJw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm2 header.b="V dDuwQK"; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm2 header.b=LjrOg8UF; 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 1pfWOc-0006vh-Dd; Thu, 23 Mar 2023 21:39:10 -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 1pfWOW-0006vU-9h for guix-patches@gnu.org; Thu, 23 Mar 2023 21:39:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pfWOW-0002dd-0N for guix-patches@gnu.org; Thu, 23 Mar 2023 21:39:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pfWOT-0003jE-SC for guix-patches@gnu.org; Thu, 23 Mar 2023 21:39:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#62231] Chez Scheme for Racket build on aarch64 (patch attached) Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 24 Mar 2023 01:39:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 62231 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: 62231@debbugs.gnu.org, Tim Johann Received: via spool by 62231-submit@debbugs.gnu.org id=B62231.167962191814301 (code B ref 62231); Fri, 24 Mar 2023 01:39:01 +0000 Received: (at 62231) by debbugs.gnu.org; 24 Mar 2023 01:38:38 +0000 Received: from localhost ([127.0.0.1]:39581 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pfWO5-0003ib-Un for submit@debbugs.gnu.org; Thu, 23 Mar 2023 21:38:38 -0400 Received: from wout1-smtp.messagingengine.com ([64.147.123.24]:51229) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pfWMY-0003fq-Tz for 62231@debbugs.gnu.org; Thu, 23 Mar 2023 21:38:36 -0400 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id 403A832002E2; Thu, 23 Mar 2023 21:36:52 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute3.internal (MEProxy); Thu, 23 Mar 2023 21:36:52 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= philipmcgrath.com; h=cc: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=fm2; t=1679621811; x= 1679708211; bh=capo7vavydvunRYSZuPKcYWLzKeVrKdPbDgOkLx7hJY=; b=V dDuwQKx4LzyJ7hbIfIqEJbysenm/JS+ibHDSAEZq8XE7KqxTDydPfZz9HYQljDo5 +Gq4GgcxHq1bsetnD9M3a/JhbVSdddPH63a5DzqHUfZEvVZUOEXCaghk2+kFjyuf kcyU3jXTaWwDhe1yALOBYiwvMGZU07fNq+zuXAIr/01752CEejNQptXV98csifZM 3SlwdxgYJls8GUPi2D3HL9SKY83bFxexUsYGK+cVdCA+PYCSHGJQWmLtxk8ArVZs dYQ5Kklw2awbtK3Xz6pK44a6l74icXZhhsmWYDNcU2oN0WtVLf3sK4inIRJitW5d bOhKfkUp/0fPPGDAB3Qwg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc: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=fm2; t=1679621811; x=1679708211; bh=capo7vavydvun RYSZuPKcYWLzKeVrKdPbDgOkLx7hJY=; b=LjrOg8UFms3lkizJX0DLJF8KI7Vi3 qFuPhEEDlVB0ZG3B9qT+npSkEEp3Muq0oQhkUEzLfL6wUrgeP1c23LsAsyq2XZr/ nk6j7wj8Bar2V00MZIB9bFYZsgYL2n12OzdiZtP2LPLIt4SrRD9XCzNVxGEalmpg AvWaG5Uxow8vIGsAenv6L3AvtCyBhN3X5NjBUBng9thdhPmkqQN5eOENUAep2Vr3 TkJzuxA53smIIgGECtH0XrpPS32gbPsrQv4S7dB1QcCEStewgiLy9x4vxwQlxITH Z8VC1TSIV6Fp7F/jK3x6GeuXssiZ+4zkJxC1FdglyxiboNmnMXdV8iH1w== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvhedrvdeghedgfeeiucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefhvffufffkjghfgggtsehgtderre dttddvnecuhfhrohhmpefrhhhilhhiphcuofgtifhrrghthhcuoehphhhilhhiphesphhh ihhlihhpmhgtghhrrghthhdrtghomheqnecuggftrfgrthhtvghrnhepledtfeevvdevje egleeltddtteeiveffkeetfedtieehuedtjeduudevhfejkeefnecuffhomhgrihhnpehg ihhthhhusgdrtghomhenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrih hlfhhrohhmpehphhhilhhiphesphhhihhlihhpmhgtghhrrghthhdrtghomh X-ME-Proxy: Feedback-ID: i2b1146f3:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Thu, 23 Mar 2023 21:36:50 -0400 (EDT) From: Philip McGrath Date: Thu, 23 Mar 2023 21:36:42 -0400 Message-ID: <4267909.iIbC2pHGDl@bastet> In-Reply-To: <87h6ukntrg.fsf@phrogstar.de> References: <87h6ukntrg.fsf@phrogstar.de> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="nextPart9862253.CDJkKcVGEf"; micalg="pgp-sha512"; protocol="application/pgp-signature" 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: X-Migadu-Queue-Id: 9DE169926 X-Spam-Score: 0.86 X-Migadu-Spam-Score: 0.86 X-Migadu-Scanner: scn0.migadu.com 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-TUID: cZOynuUJrOdP --nextPart9862253.CDJkKcVGEf Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii"; protected-headers="v1" From: Philip McGrath To: 62231@debbugs.gnu.org, Tim Johann Subject: Re: Chez Scheme for Racket build on aarch64 (patch attached) Date: Thu, 23 Mar 2023 21:36:42 -0400 Message-ID: <4267909.iIbC2pHGDl@bastet> In-Reply-To: <87h6ukntrg.fsf@phrogstar.de> References: <87h6ukntrg.fsf@phrogstar.de> MIME-Version: 1.0 Hi Tim, On Thursday, March 16, 2023 7:23:46 PM EDT Tim Johann wrote: > A few weeks ago I wanted to use Racket on Guix on aarch64, but was made > aware, that Racket was not available as a substitute and it did not build. > On the other hand, recent versions of Racket were available on Raspberry Pi > OS which is explicitly running on aarch64. The machine I am running Guix > on actually is a Raspberry Pi 4B. > Thanks again for your investigation of this problem! As I commented on the upstream issue at , I still think this is an upstream bug (and your analysis helped a great deal in finding the root cause), but the approach in your patch is probably the easiest way to fix things for Guix users for now. I'd just ask that you add a comment referencing the upstream issue and with some explanation, because it's not my preferred long-term approach. > > [...] > > using the Racket utility > ../rktboot/main.rkt > This script would actually accept the flag '--machine' and would set the > environment variable MACH to the value of the argument following the flag. > > The problem is that in the case of aarch64 the recipe would not set the > flag. In the recipe for chez-scheme-for-racket-bootstrap-bootfiles in > module (gnu packages chez), we find the lines > ,---- > > | #~(invoke > | > | (search-input-file (or native-inputs inputs) > | > | "/opt/racket-vm/bin/racket") > | > | "../rktboot/main.rkt" > | #$@(if (racket-cs-native-supported-system?) > | > | #~() > | (let ((m (nix-system->pbarch-machine-type))) > | > | #~("--machine" #$m))))))))))))) > > `---- > and, since `(racket-cs-native-supported-system?)' returns `tarm64le', the > first branch of the if expression is taken, ommitting the flag. > The "rktboot" scripts (which simulate enough of Chez Scheme to bootstrap its bootfiles) are supposed to be able to infer right machine type for the current platform, at least if the platform is natively supported. The problem is that the upstream code to doesn't actually work on architectures other than i386 and x86_64. > I suggest to change the above code to the following: > ,---- > > | #~(invoke > | > | (search-input-file (or native-inputs inputs) > | > | "/opt/racket-vm/bin/racket") > | > | "../rktboot/main.rkt" > | #$@(let ((m (or (racket-cs-native-supported-system?) > | > | (nix-system->pbarch-machine-type)))) > | > | #~("--machine" #$m)))))))))))) > > `---- > which sets the flag for natively supported architectures and those supported > by portable bytecode. This is a good work-around. The reason I'd like to avoid it in the long run is that, ideally, I'd like to get us out of the business of managing Chez machine types and the translation from normal architecture and OS strings. I think we'll at least be able to eliminate `%chez-features-table` once the ongoing work to reunify upstream Chez Scheme with Racket's branch is complete. Reducing the number of places where we have to use these machine-type- producing functions should help advance that goal, so I'd prefer to have a comment here reminding us that we can reconsider "--machine" once is fixed. -Philip --nextPart9862253.CDJkKcVGEf Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part. Content-Transfer-Encoding: 7Bit -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEE9GWrrNY3rqwUFVXPygNjjfo/HHoFAmQc/qoACgkQygNjjfo/ HHqfUQ/+P2CoZiNj0Z5MObpbhiswec/AP5ccFl0qKDKWcdbpps51YSr45kzWeXDk kCb6+rdYzNUzAumX7SWmNV2nq6GyD3YvxMgmNt1gVsUv2DmAAMBfEgOVugS64cCK M/o/KBgBpjB9+bdrRIqNSvWqKn9l7hfn+U065+AMDqvU7Hoi66nl9sDAUf+IO0cU pd33dD8rBrMZvcKhTZc7pN7IUF0JJXyBcOveTLiyBVYGK5YmxdcarjmkogRnyHjU ZDsPMApjyLhkFPYZozIxE8gp5bQ3uN90SFPUjanvQpGE5R4FsCeVkyD3A2uwo5EH piexnfQ9WRDBqR4/Fsrv3QniMSpeaM5i7pvF8bqmPJy6rn0drVmATlR2yaMyhojS L5TRcOfqP+gljAAbHzXsvyvlymtXhIUr4IZfo34trIlmIicxnKKFuhG7gYklSGkS Rxhnw/yA0nL6bb/4SixPLNIzOooJkLRx3OnUw08BewsbDoE2QIIww2dt9LntmTCK NnU31pGP6Ua/AZAT3lUv1Htu3S1PA/RA4ZyWQO8FnAu7BLiuAftRZDpuNTPz47rJ tkC4chURT6PD1wYgvfC3UJivC+GrfGNb0u8o3CgSrVZnyldIEbA1Uyb7Y7Fp6+7e 6SGYFol67mfE4y80xYRblreTpRFt0lRoO6Hper+AsL8G+jxjVZs= =9y03 -----END PGP SIGNATURE----- --nextPart9862253.CDJkKcVGEf--