Error in make check Please help.

Luck Colors luckcolorsgoo at
Sun Jun 14 11:19:43 UTC 2015

Ok great news apparently virtualbox is the problem.
infact in the stable buid of virtualbox 4.3.28 avx is not implemented.
So for fixing this you just need to download the last virtualbox beta from

So thanks everybody for your help. :)
Note: this doesn't seem to happen on a mac pc intel i7 with virtualbox
4.2.28(in which virtualbox doesn't have direct avx support but the tests
are succefully executed) (config.guess coreisbr-unknown-linux-gnu)

on my windows 7 amd fx virtualbox 5.0.0_BETA4 i need to have direct avx
support by using the virtualbox beta to get the test working properly
(config.guess bulldozer-unknown-linux-gnu)
I hope this info is usefull to you guys.

2015-06-13 15:16 GMT+02:00 Torbjörn Granlund <tg at>:

> Marc Glisse <marc.glisse at> writes:
>   What I am mostly confused about is why config.guess is failing to
>   detect that this is a noavx system (as evidenced by /proc/cpuinfo). Is
>   this line not sufficient?
>     suffix = cpuid_avx > cpuid_osxsave ? "noavx" : "";
>   Or does virtualbox return a broken value on calls to cpuid?
> That logic is designed to append "noavx" just to CPUs which support AVX.
> If Virtualbox now clears the AVX bit and not just the OSXSAVE bit, then
> it is a bug.  I suppose we can work around it, or decide that Virtualbox
> has to fix its bugs.
> But let's hope the reporter lets us know about what exactly is failing.
> --
> Torbjörn
> Please encrypt, key id 0xC8601622
> _______________________________________________
> gmp-discuss mailing list
> gmp-discuss at

More information about the gmp-discuss mailing list