[PPL-devel] suggestion for a ppl configure enhancement
Rainer Emrich
rainer at emrich-ebersheim.de
Wed Jan 13 20:33:32 CET 2010
-----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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAktOIAwACgkQoUhjsh59BL5TEgCgrgH+snQjpXlmMp6Xoa7BJH3E
n48AoLnpbxfZp8mJzdwNJ8RmyVXn0avL
=0krb
-----END PGP SIGNATURE-----
More information about the PPL-devel
mailing list