Bug#698000: gmp: Patch for X32 support

[Daniel Schepler]

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).  (Technical details: gcc-4.7 from
experimental applies differences from the git branch
hjl-x32-gcc-4_7-branch, and configures with --with-abi=mx32.  binutils
configured with --host=x86_64-linux-gnux32 defaults to elf32-x86-64
target in the version from experimental.  Both rebuilt with the same
source except with a new Debian revision tag and uploaded to
debian-ports "unreleased" suite so they're the default installed
version on the x32 port.)
-- 
Daniel Schepler