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 ms5.migadu.com with LMTPS id gH3BJ2ePdWKZ/gAAbAwnHQ (envelope-from ) for ; Fri, 06 May 2022 23:13:11 +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 QHbDJmePdWKe2QAAG6o9tA (envelope-from ) for ; Fri, 06 May 2022 23:13:11 +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 4C854CD79 for ; Fri, 6 May 2022 23:13:11 +0200 (CEST) Received: from localhost ([::1]:47664 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nn5GA-0006x0-AH for larch@yhetil.org; Fri, 06 May 2022 17:13:10 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42808) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nn5G2-0006wr-I7 for bug-guix@gnu.org; Fri, 06 May 2022 17:13:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56130) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nn5G2-0000li-9V for bug-guix@gnu.org; Fri, 06 May 2022 17:13:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nn5G1-0000Pe-V5 for bug-guix@gnu.org; Fri, 06 May 2022 17:13:01 -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: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 06 May 2022 21:13:01 +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: raingloom , Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 55283@debbugs.gnu.org Received: via spool by 55283-submit@debbugs.gnu.org id=B55283.16518715661565 (code B ref 55283); Fri, 06 May 2022 21:13:01 +0000 Received: (at 55283) by debbugs.gnu.org; 6 May 2022 21:12:46 +0000 Received: from localhost ([127.0.0.1]:50027 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nn5Fl-0000PB-W3 for submit@debbugs.gnu.org; Fri, 06 May 2022 17:12:46 -0400 Received: from albert.telenet-ops.be ([195.130.137.90]:40324) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nn5Fk-0000P2-E0 for 55283@debbugs.gnu.org; Fri, 06 May 2022 17:12:45 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by albert.telenet-ops.be with bizsmtp id TZCh270094UW6Th06ZCi3L; Fri, 06 May 2022 23:12:42 +0200 Message-ID: <5d219586c7a9a5ed2d89b12db73385d9d55adeb9.camel@telenet.be> From: Maxime Devos Date: Fri, 06 May 2022 23:12:33 +0200 In-Reply-To: <20220506022826.5089eb2c@riseup.net> References: <87ee1761ci.fsf@inria.fr> <20220506022826.5089eb2c@riseup.net> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-kxye444pUNrLsdlvWooZ" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1651871562; bh=YxpEhBBnjtvoDKXDCYCkTpTNCayQew13eu0ZrqadYVo=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=AgmtYG7kzzaP4hWCXE6KziJz1NF7sTuhuI0+0FPmZmQg2AIZhB6gfjZM9HzwwPARS gmkrOvpVoKnu/Y33hNBjrF9x+FHyOe6LV9i+EOPXptnFyGOsr50gWhNjAJSi7UxiA0 k5caQ1BwLAgWsl4ToNSGKRYuXv+oNkJ6MSXlhTTwHQwAFaBjwOC7FpXs5afTp1ZVVO 9yMKklfzQg6g0P7C5aVkjaa6Madl/W6slcKYWUDdKGjt3mIyu3q1flO55+/T+G3L6u yPEKf0h5Qw6b5YeiguiFF8zqdIieecGCcZKD9/nmDJ1EK0nSe51rvLesOVlKbWG934 6hROhg6l9shjQ== 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=1651871591; 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: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=YxpEhBBnjtvoDKXDCYCkTpTNCayQew13eu0ZrqadYVo=; b=FX6co1V+KxSZn7YYBNxdCMsJQKqA+8DhJXKZM5ltwbbwODqaI3Fi4tRSe9Atl7UUB81Chr 0dQoLJYwAjx7axOoEwlEqnVSIuHvFbdNQ9TIROUysorPSnx0bGGloah/WcVHNxs8smqUjr cxRTIAEVxvbkDC5N+Ntav3XKsKVLmtnL6QNJimn3q4YvI9mWWksNkUPcnETTdn8TJCz9Fg e7gp9xIfTHrnF9ufyrkX1igknAlvj7zNKoUgkVErIRDjm6Y4GK+EhMT1UYIaWgdxeiyf1M pfuvhSJEVWBWiDwLJFGMMmZxlqjzuG35IZDto3XQIywmbEshNXD4qtuWKu2s2A== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1651871591; a=rsa-sha256; cv=none; b=Gtc8EdIRnVjmwVEVQdVYYb8y4u0tpZjcj/8R3D4R0nfmUxLVQp00DU/Y+FngRdAZqpjTnE 2W8n+5CwZQOgsrjF2PcZDoFpyji0MipO7QmFQ2UimRpstY2QbAcs6wHlLeJlMcxMGuzbWs llN0rd2Y3Cl+g5GpYsc7JFvntRXDDrjZwMsmy75om0ATvpDUfOUsuryT/+MKG+SYP0fz7P +u8Elt6MB1JaQaaPhPsYZQKgEnJvNx13rtmd7/2grih2ROMjqOUlyVapBbPXehc1x1cfWs +cBjqUkYLg3DRHIkOm2f9v+QN869gtpX7eW3G0khGjjCPUyN/UtDezG4PZpgdQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=AgmtYG7k; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); 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: 2.18 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=AgmtYG7k; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); 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: 4C854CD79 X-Spam-Score: 2.18 X-Migadu-Scanner: scn0.migadu.com X-TUID: 6HH9K/yZJSpR --=-kxye444pUNrLsdlvWooZ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable raingloom schreef op vr 06-05-2022 om 02:28 [+0200]: > > =E2=80=A6)) In guix/cpu.scm: > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 94:2=C2=A0 0 (cpu->gcc-architecture #f) >=20 > This indicates the same to me. > But I don't know the internals of --tune well enough, so it's just a > hunch. Could anyone who encounters the issue on aarch64-linux send their /proc/cpuinfo, such that other people can test the body of 'current- cpu' on that copy? Also, why doesn't 'current-cpu' throw some kind of exception instead of #false? No users of 'current-cpu' appear to handle #false and returning #false is not documented in the docstring. Greetings, Maxime. --=-kxye444pUNrLsdlvWooZ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYnWPQRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7t0wAQCBkoUckLK9x1U7FU0+mNEfnzZu Mxo8jrdMNfFjhpkxxgEAupIeYrRduPK2WP4NegP6Okm+i29hjhQIWkWlO8imGgs= =wo5b -----END PGP SIGNATURE----- --=-kxye444pUNrLsdlvWooZ--