Help stabilising mini-gmp

Torbjörn Granlund tg at
Thu Nov 17 18:48:32 UTC 2016

nisse at (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 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.

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list