On Wed, Jan 13, 2010 at 14:55, Rainer Emrich wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> IMHO it would be a godd idea to add the following two configure options to ppl
> configure:
> --with-gmp-include=DIR GMP include directory
> --with-gmp-lib=DIR GMP lib directory
>
> On
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
IMHO it would be a godd idea to add the following two configure options to ppl
configure:
--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 li
