Bug#698000: gmp: Patch for X32 support

[Steve M. Robbins]

On February 19, 2013 12:24:48 PM Daniel Schepler wrote:
> On Mon, Feb 18, 2013 at 3:57 PM, Steve M. Robbins <steve at sumost.ca> wrote:
> > 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__)?
> 
> Yes, currently the default target of both gcc and binutils on this
> port is x32 (elf32-x86-64).

OK, good.  I've just uploaded v5.5.1 that should close this bug.  I'd be happy 
if you would test it on an x32 system and let me know whether it works or not.

Thanks,
-Steve