Bug#724320: gmp: x32: sizeof(mp_limb_t)!=sizeof(void*) is not supported by GAP and PARI
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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 836 bytes
Desc: This is a digitally signed message part.
More information about the gmp-discuss