Help stabilising mini-gmp

Torbjörn Granlund tg at
Wed Nov 16 04:54:40 UTC 2016

I realise that mini-gmp's requirement of GNU make hurts GMP's build
environment compatibility testing; until now, we have tried to use plain
'make' on almost all systems.  If mini-gmp now forces the entire build
to use GNU make, then that's bad.

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list