Bruno Haible <bruno at clisp.org> writes: * The name of the compiler and its version. For gcc, get the version with `gcc -v', otherwise perhaps `what `which cc`', or similar. $ gcc -v gcc version 4.3.2 (Debian 4.3.2-1.1) This is a known-bad gcc release. It cannot be used for compiling gmp. http://gmplib.org/#STATUS -- Torbjörn