Report of failure in building GMP

[tg at gmplib.org]

Leif Leonhardy <not.really at online.de> 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.

-- 
Torbjörn
Please encrypt, key id 0xC8601622