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

[Marc Glisse]

On Wed, 2 Oct 2013, Vincent Lefevre wrote:

> On 2013-10-02 11:52:54 +0200, Torbjorn Granlund wrote:
>> Vincent Lefevre <vincent at vinc17.net> writes:
>>
>>   It would be cleaner to have an option to force the mp_limb_t size
>>   e.g. to 8 bytes, but GMP doesn't seem to provide such an option.
>>
>> It sure does.  ABI=...
>
> With which value??? ABI=x32 fails on x86_64: it passes -mx32 to gcc,
> which isn't supported.

Yes it is, on gcc versions 4.7+ (the versions recent enough to support the 
x32 ABI).

-- 
Marc Glisse