Bug#724320: gmp: x32: sizeof(mp_limb_t)!=sizeof(void*) is not supported by GAP and PARI

Bill Allombert Bill.Allombert at math.u-bordeaux1.fr
Mon Sep 30 21:41:52 CEST 2013


On Mon, Sep 30, 2013 at 09:02:36PM +0200, Emmanuel Thomé wrote:
> Hi Bill,
> 
> On Mon, Sep 30, 2013 at 8:13 PM, Bill Allombert
> <Bill.Allombert at math.u-bordeaux1.fr> wrote:
> > I like to clarify that I see this is purely as a Debian issue.
> 
> You must be kidding. It's a pari issue (and, incidentally, gap too)
> because of pari's well known bogus requirement on
> sizeof(void*)==sizeof(long). Any ABI which has this is a no-go for
> pari. x32 is one of them.

No, it is not: on x32, sizeof(void*)==sizeof(long)==4.

It could be possible to change PARI to work with sizeof(long)==4 and 
sizeof(void*)==8 but this would not address this issue in any way.

> On the other hand, I understand that gmp does fine on the x32 ABI (see
> messages in January this year on gmp-devel), so the present discussion

So does PARI using the native kernel, or PARI with GMP built with
sizeof(mp_limb_t)=4.

> is going off-topic as far as gmp is concerned.

At least we agree it is not a GMP issue.

Cheers,
-- 
Bill. <ballombe at debian.org>

Imagine a large red swirl here. 


More information about the gmp-discuss mailing list