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. -- Torbjörn Please encrypt, key id 0xC8601622