GNU bug report logs - #68202
[PATCH 0/5] Add support for x86_64-linux-gnux32

Previous Next

Full log

Message #34 received at 68202 <at> debbugs.gnu.org (full text, mbox):

From: Simon Tournier <zimon.toutoune <at> gmail.com>
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: 68202 <at> debbugs.gnu.org, Josselin Poiret <dev <at> jpoiret.xyz>,
 Mathieu Othacehe <othacehe <at> gnu.org>,
 Ludovic Courtès <ludo <at> gnu.org>,
 Tobias Geerinckx-Rice <me <at> tobias.gr>, Ricardo Wurmus <rekado <at> elephly.net>,
 Christopher Baines <guix <at> cbaines.net>
Subject: Re: [bug#68202] [PATCH 2/5] gnu: Add target-x32?.
Date: Mon, 8 Jan 2024 10:20:36 +0100

Hi,

On Tue, 2 Jan 2024 at 08:29, Efraim Flashner <efraim <at> flashner.co.il> wrote:

> +(define* (target-x32? #:optional (target (or (%current-target-system)
> +                                             (%current-system))))
> +  "Is the architecture of TARGET a variant of Intel/AMD's 64-bit
> +architecture (x86_64) using 32-bit data types?"
> +  (and (target-x86-64? target)
> +       (string-suffix? "gnux32" target)))
> +
>  (define* (target-x86? #:optional (target (or (%current-target-system)
>                                               (%current-system))))
>    (or (target-x86-32? target) (target-x86-64? target)))

Why not add it to target-x86-32? ?

Cheers,
simon

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.