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

Mike Frysinger vapier at gentoo.org
Wed Oct 2 19:58:33 CEST 2013


On Wednesday 02 October 2013 08:38:14 Vincent Lefevre wrote:
> On 2013-10-02 15:14:29 +0300, Marc Glisse wrote:
> > 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).
> 
> It is by gcc itself, but not working on my machine: the generated
> executable segfaults. BTW, GMP's configure says "could not find a
> working compiler", which is misleading because the problem doesn't
> seem to be with the compiler itself.

that error message is from autoconf, not really gmp

if setting up a native x32 system is bothersome, you can contact me off-list 
and i can get you a native Gentoo system to ssh into
-mike
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part.
URL: <http://gmplib.org/list-archives/gmp-discuss/attachments/20131002/4718631b/attachment.bin>


More information about the gmp-discuss mailing list