[patch] add x32 support
marc.glisse at inria.fr
Thu Jan 10 22:10:32 CET 2013
On Thu, 10 Jan 2013, Marc Glisse wrote:
> On Thu, 10 Jan 2013, Torbjorn Granlund wrote:
>> How could I test this?
> I don't remember what linux you have access to. Debian for instance has
> packages in "experimental" named libx32gcc1, libc6-x32, etc. Then you just
> need to compile with gcc -mx32.
Hmm, it also requires installing a kernel compiled with a different
option, etc, so scratch that, sorry :-(
More information about the gmp-devel