libgmp comes with an extended config.guess script that features more
accurate CPU detection. Unfortunately, use of that script causes the
configure phase to choose fairly aggressive optimization flags and the
resulting binaries might not work on architectures other than the
machine those binaries were built on.
The standard GNU config.guess script, however, recognizes a CPU type of
'x86' only. Thus, libgmp chooses the following settings:
ABI="32"
CC="gcc"
CFLAGS="-m32 -O2 -pedantic -fomit-frame-pointer -mtune=pentiumpro -march=pentiumpro"
CPPFLAGS=""
MPN_PATH=" x86/p6 x86 generic"
svn path=/nixpkgs/branches/stdenv-updates/; revision=16084
