[patch] add x32 support

Marc Glisse 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 :-(

Marc Glisse

More information about the gmp-devel mailing list