Bug#698000: gmp: Patch for X32 support

[Steve M. Robbins]

On Sat, Jan 12, 2013 at 09:35:37AM -0800, Daniel Schepler wrote:

> Here's a patch, based on
> <URL:https://sites.google.com/site/x32abi/x32-patches/gmp_fix_for_x32.patch?attredirects=0&d=1>,
> to add X32 support to the gmp packages.

Hi,

I'm packaging the latest GMP source (5.1.1) that has been patched for
x32 support.  I've also fixed up the gmp.h include to use the
__ILP32__ define, per https://sites.google.com/site/x32abi/ to
distinguish between x86_64 and x32.

The last issue is whether debian/rules needs any changes.  The wiki
http://wiki.debian.org/X32Port says x32 is an ABI of the amd64 cpu.
>From the Debian point of view, will it be a proper architecture where
"$(DEB_HOST_GNU_TYPE)-gcc" will always behave as if given "-mx32"
(e.g. define __ILP32__)?

Thanks,
-Steve