Bug#698000: gmp: Patch for X32 support

[Daniel Schepler]

On Thu, Feb 21, 2013 at 11:30 AM, Steve M. Robbins <steve at sumost.ca> wrote:
> Great!  So we need to set ABI=x32 on the configure line.
> What is the output of "dpkg-architecture -qDEB_HOST_ARCH"?

x32 :)

root at frobozz:/# dpkg-architecture
DEB_BUILD_ARCH=x32
DEB_BUILD_ARCH_BITS=32
DEB_BUILD_ARCH_CPU=amd64
DEB_BUILD_ARCH_ENDIAN=little
DEB_BUILD_ARCH_OS=linux
DEB_BUILD_GNU_CPU=x86_64
DEB_BUILD_GNU_SYSTEM=linux-gnux32
DEB_BUILD_GNU_TYPE=x86_64-linux-gnux32
DEB_BUILD_MULTIARCH=x86_64-linux-gnux32
DEB_HOST_ARCH=x32
DEB_HOST_ARCH_BITS=32
DEB_HOST_ARCH_CPU=amd64
DEB_HOST_ARCH_ENDIAN=little
DEB_HOST_ARCH_OS=linux
DEB_HOST_GNU_CPU=x86_64
DEB_HOST_GNU_SYSTEM=linux-gnux32
DEB_HOST_GNU_TYPE=x86_64-linux-gnux32
DEB_HOST_MULTIARCH=x86_64-linux-gnux32
-- 
Daniel Schepler