From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:49837) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eKSLe-0000WS-FH for guix-patches@gnu.org; Thu, 30 Nov 2017 12:10:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eKSLa-0002Zn-FZ for guix-patches@gnu.org; Thu, 30 Nov 2017 12:10:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:58136) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eKSLa-0002ZX-CH for guix-patches@gnu.org; Thu, 30 Nov 2017 12:10:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eKSLa-0004bM-6A for guix-patches@gnu.org; Thu, 30 Nov 2017 12:10:02 -0500 Subject: [bug#29409] [PATCH] utils: Add target-arm? procedure. Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <877euhtjkj.fsf@gmail.com> <1511965226-12253-1-git-send-email-m.othacehe@gmail.com> Date: Thu, 30 Nov 2017 18:09:48 +0100 In-Reply-To: <1511965226-12253-1-git-send-email-m.othacehe@gmail.com> (m. othacehe's message of "Wed, 29 Nov 2017 15:20:25 +0100") Message-ID: <87mv331yn7.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: m.othacehe@gmail.com Cc: 29409@debbugs.gnu.org m.othacehe@gmail.com skribis: > From: Mathieu Othacehe > > * guix/utils.scm (target-arm?): New exported procedure. Should it match aarch64 as well? If not, should it be called =E2=80=99target-arm32?=E2=80=99 or something like that? > This procedure may be replaced by let-system when operational, see : > > https://lists.nongnu.org/archive/html/guix-patches/2017-11/msg00274.html I think it would be used in the body of =E2=80=98let-system=E2=80=99 forms,= but =E2=80=98let-system=E2=80=99 alone doesn=E2=80=99t render it useless. Thanks, Ludo=E2=80=99.