[patch] add x32 support

Marc Glisse marc.glisse at inria.fr
Thu Jan 10 22:04:46 CET 2013

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.

Marc Glisse

More information about the gmp-devel mailing list