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 ms5.migadu.com with LMTPS id OIToMl+IemL5GgEAbAwnHQ (envelope-from ) for ; Tue, 10 May 2022 17:44:31 +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 UDTRMV+IemLwCwEAG6o9tA (envelope-from ) for ; Tue, 10 May 2022 17:44:31 +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 64C6686EE for ; Tue, 10 May 2022 17:44:31 +0200 (CEST) Received: from localhost ([::1]:33726 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1noS2I-0004Pa-Iv for larch@yhetil.org; Tue, 10 May 2022 11:44:30 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:44336) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1noS1q-0004OS-Ia for bug-guix@gnu.org; Tue, 10 May 2022 11:44:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40988) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1noS1q-0000fa-9f for bug-guix@gnu.org; Tue, 10 May 2022 11:44:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1noS1q-0006Ud-8E for bug-guix@gnu.org; Tue, 10 May 2022 11:44:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#55283: =?UTF-8?Q?=E2=80=98tests/guix-shell-export-manifest.sh=E2=80=99?= fails on aarch64-linux Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 10 May 2022 15:44:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 55283 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Efraim Flashner Cc: Vagrant Cascadian , 55283@debbugs.gnu.org, Maxime Devos , raingloom Received: via spool by 55283-submit@debbugs.gnu.org id=B55283.165219743424929 (code B ref 55283); Tue, 10 May 2022 15:44:02 +0000 Received: (at 55283) by debbugs.gnu.org; 10 May 2022 15:43:54 +0000 Received: from localhost ([127.0.0.1]:34885 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1noS1h-0006U1-Sm for submit@debbugs.gnu.org; Tue, 10 May 2022 11:43:54 -0400 Received: from eggs.gnu.org ([209.51.188.92]:50954) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1noS1g-0006To-91 for 55283@debbugs.gnu.org; Tue, 10 May 2022 11:43:52 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:47170) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1noS1a-0000dK-If; Tue, 10 May 2022 11:43:46 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=VMnb8a7uKSIEzWN7OuUjGqhCO9pvxl0rAiopZB5d0xM=; b=k6/gUSQj76zHt4lerXY8 iOcCTx/eyV0v/WVpUMiG/r6KFOLwVsAWde4/pOIgwP/p1Sx0/3xCDmCObXvZcN1x7viW8gi+Nl3MM otB9abplFjADqPpvLdixBEYnOjRkMO8NlVNuuNhMXiQTXtbeiN7lissJajE/YX5xpDQMmdl9wmvwh GMAbL6UDMVTSeA93V3zyn6Erodsco76sZ35nQkzzcaAStRDYtVQ0chVDtIuUHqMouc59/Fr/LN4hf UELCfW65479rwNhqMpewG6hQYDjsdrIcGfIBgvgxQ0f5Vbgju78e4mLEHZiW/ZGW7WQi39QB1lRKi HOMlAQLfNDJfoA==; Received: from [193.50.110.244] (port=52690 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1noS1a-0000Rg-3J; Tue, 10 May 2022 11:43:46 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <87ee1761ci.fsf@inria.fr> <20220506022826.5089eb2c@riseup.net> <5d219586c7a9a5ed2d89b12db73385d9d55adeb9.camel@telenet.be> <871qx68g33.fsf@contorta> <87wney6vwq.fsf@contorta> <87wnevu0x1.fsf@gnu.org> <4d2747729262ac3e3f27d7e75f1dfb50da4c7fed.camel@telenet.be> <87v8udpf9v.fsf@gnu.org> Date: Tue, 10 May 2022 17:43:43 +0200 In-Reply-To: <87v8udpf9v.fsf@gnu.org> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Tue, 10 May 2022 17:40:28 +0200") Message-ID: <87r151pf4g.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1652197471; 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: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=VMnb8a7uKSIEzWN7OuUjGqhCO9pvxl0rAiopZB5d0xM=; b=BAEsJqaJP1XCn6Co/IC7pF3pty2bbXTc/2igGsRWsKH5bkzx9gNcJtr1qZ9Ipgu6i4DVqz hYvmg04FryMFG3pWqee+U5799Il+nGoLYVU4Vs3omyXBrGFXVu2BP6hPp7WnnlNZmMkR4Y AUL6ujRP3R/IjE7+DjZchmXaJ6NQ54MR/6YkOeQ9oZhpzdvLofijNjC4YPA/gVb6oyIV5S n0c+uhAxD+LWm5T8jD1RRoNnhWt3lUwK+CedPQlU2tu1fZwcP+CF1drszE/9IWfqkrm245 mFkzpB3s/o9+a7Vj5tZHpRcmEpXEyYT+cBSnynlPhevifeQmQqTS1M2zm+MBNA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1652197471; a=rsa-sha256; cv=none; b=KQoTX9CWZOhn3nSUgCNz6Fj+037uiW8WbCcvmVy432ANtZYku0wzOSSf/a1CqVcEVI2ZYl Q8LUp6eebnWdgzi/DXT4b+WP1MaKF2Le7+Ks6BzP5k4K5VCtrnhozjqSmrLWQsVIqPpxMC 0hB8vlpqKzUGYOjB6/8/Jk+cnJe0aKqGbhJveAM+ApkRJ74Kn5zxjQTrXKt29EoLrOFn+a EBZAG6/IgOkdLx6Pq51E3qhtMFeZ/JUjev7HZbFX+IXU761k+vpeYJELTMbnCOBzaDBH8l etmKj80eDJ5camgkwLED3F2FxgIq8+Utp+DXuM4u/B4JFVPV30JOjjlsC0CDJA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b="k6/gUSQj"; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -3.90 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b="k6/gUSQj"; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 64C6686EE X-Spam-Score: -3.90 X-Migadu-Scanner: scn1.migadu.com X-TUID: KaccL7QAaYQ6 Ludovic Court=C3=A8s skribis: > (The bug reported at the beginning of this thread looks rather basic > though; I=E2=80=99ll follow up on that.) Actually no. :-) I guess the first hunk of your patch, which modifies =E2=80=98current-cpu= =E2=80=99 so that it does not return #f on AArch64, is the actual fix (it can be a patch of its own). The second hunk, which modifies =E2=80=98cpu->gcc-architecture=E2=80=99, is= an enhancement. Ludo=E2=80=99.