Help stabilising mini-gmp

[Torbjörn Granlund]

Marc Glisse <marc.glisse at inria.fr> writes:

  > The first failure was also a bit interesting, an internal compiler error
  > with gcc-6.
  >
  > In file included from gmp/mini-gmp/tests/testutils.c:24:0:
  > gmp/mini-gmp/tests/../mini-gmp.c: In function 'mpz_set_d':
  > gmp/mini-gmp/tests/../mini-gmp.c:1647:3: internal compiler error:
  > Aborted
  >   if (x != x || x == x * 0.5)
  >   ^~
  >
  > https://gmplib.org/devel/tm/gmp/build/failure/sky.gmplib.org-dyn-fat-fake:64.txt
  
  Strange that it only shows up there, the command line does not have
  anything specific to skylake (no -march or -mtune). I can't reproduce
  on another machine.
  
Not only there, ..../ppceb-debv8.gmplib.org-dyn:mode32.txt too.

I suppose the mpfr version matters, or whatnot.

(It will not happen on these two machine if you cut out the compilation
command, since then you'll miss the LD_LIBRARY_PATH.)

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