-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1

IMHO it would be a godd idea to add the following two configure options: --with-gmp-include=DIR GMP include directory --with-gmp-lib=DIR GMP lib directory

On 64-bit Linux systems you have the libraries in lib64 instead of lib in most cases. With this additional configure options in place you do not need to fiddle with LDFLAFS to find the library. OTOH I think you may drop --with-libgmpxx-prefix because it's very unlikely that libgmpxx is installed in a different place than libgmp.

Cheers

Rainer