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

[Torbjorn Granlund]

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=...

Passing CFLAGS manually to configure is allowed, but then you need to
know what you're doing.  ABI=fooabi CFLAGS="-abi=barabi" will break.

This seems like a user error, but I still cannot rule out a GMP bug
since vital information is still missing.

http://gmplib.org/manual/Reporting-Bugs.html

(Now your Mail-Followup-To line made *me* the primary recipient of my
reply.)

-- 
Torbjörn