Report of failure in building GMP

H.Hiro main at
Fri May 1 09:13:42 UTC 2015

Thanks for so much advice.
I tried building GMP on a linux running on VirtualBox, so this may be
the reason of the failure.

2015-05-01 8:10 GMT+09:00 leif <not.really at>:
> tg at wrote:
>> Leif Leonhardy <not.really at> writes:
>>   If you try a *snapshot* as Marc suggested, you could try configuring with
>>     ./configure --prefix=$HOME/local --build=jaguarnoavx-linux-gnu
>> This is a poor piece of advice.  We want to make sure the configure
>> logic does its magic without help.
> I didn't mean to say he should *only* try that; but if the above works,
> it's even more obvious what the problem is or why the tests failed.
> IMHO the /next step/ would be to figure out why 'configure' apparently
> didn't notice that AVX instructions cannot be executed, if that's the case.
> -leif

H.Hiro / Maraigue
main at

More information about the gmp-bugs mailing list