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:

  I've tried
  
    ./configure ABI=x32 CFLAGS='-O2 -pedantic -fomit-frame-pointer -m32'
  
  with GMP 5.1.2, but the build fails. Adding --disable-assembly solves
  the problem, but it makes GMP very slow!

Could you provide more details than "the build fails"?  :-)

We have x32 in our nightly builds, in a Gentoo x32 chroot.  You cannot
expect x32 to work without kernel and libc support.

But depending on how "the build fails" you might have run into a GMP
problem.

PS. Your Mail-Followup-To is strange, it made the reply to primarily to
Bill.

-- 
Torbjörn