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 _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel