Help stabilising mini-gmp

[Torbjörn Granlund]

nisse at lysator.liu.se (Niels Möller) writes:

  -		CC="$(CC_FOR_BUILD)" EXTRA_CFLAGS="-g -I../.." check
  +		CC="$(CC)" EXTRA_CFLAGS="$(CFLAGS) -g -I../.." check
   
That looks like an improvement.

Perhaps one will need to play with linker flags too, I am not sure.

Once this is fully resolved, around 530 of the current 535 failures
should clear.  :-)

I set up the testclient.sh script to look for GNU make (as "make",
"gmake", "gnumake") and then bother with check-mini-gmp iff GNU make is
found.  GMP itself is built with the "make" command which might or might
be GNU make.

The result of this logic is that mini-gmp is silently ignored without
GNU make.  One needs to grep in the result log file to tell.  Perhaps
this should be improved.

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