Bug#698000: gmp: Patch for X32 support

2013-02-21 Thread Daniel Schepler
On Thu, Feb 21, 2013 at 11:30 AM, Steve M. Robbins 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@frobozz:/# dpkg-architecture DEB_BUILD_ARCH=x32 DEB_BUILD_ARCH_BITS=32 DEB_BUILD_ARCH_CPU=amd64 DEB_BUILD_

Bug#698000: gmp: Patch for X32 support

2013-02-21 Thread Steve M. Robbins
On Wed, Feb 20, 2013 at 08:51:48AM -0800, Daniel Schepler wrote: > On Tue, Feb 19, 2013 at 6:46 PM, Steve M. Robbins wrote: > > 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

Bug#698000: gmp: Patch for X32 support

2013-02-20 Thread Daniel Schepler
On Tue, Feb 19, 2013 at 6:46 PM, Steve M. Robbins wrote: > 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. Nope, it looks like it's still getting the mp_limb_t size error... http://bui

Bug#698000: gmp: Patch for X32 support

2013-02-19 Thread 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 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

Bug#698000: gmp: Patch for X32 support

2013-02-19 Thread Daniel Schepler
On Mon, Feb 18, 2013 at 3:57 PM, Steve M. Robbins 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"

Bug#698000: gmp: Patch for X32 support

2013-02-18 Thread Steve M. Robbins
On Sat, Jan 12, 2013 at 09:35:37AM -0800, Daniel Schepler wrote: > Here's a patch, based on > 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 patche

Bug#698000: gmp: Patch for X32 support

2013-01-12 Thread Daniel Schepler
Source: gmp Version: 2:5.0.5+dfsg-2 Severity: wishlist User: debian-...@lists.debian.org Usertags: port-x32 ftbfs-x32 Tags: patch Here's a patch, based on 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. -- Daniel