Report of failure in building GMP

leif not.really at
Thu Apr 30 23:10:26 UTC 2015

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.


More information about the gmp-bugs mailing list