This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
suggestion for ppl and cloog-ppl configure enhancement
- From: Rainer Emrich <rainer at emrich-ebersheim dot de>
- To: gcc at gcc dot gnu dot org
- Cc: Sebastian Pop <sebpop at gmail dot com>
- Date: Wed, 13 Jan 2010 20:55:53 +0100
- Subject: suggestion for ppl and cloog-ppl configure enhancement
- Openpgp: url=random.sks.keyserver.penguin.de
-----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 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 one may drop --with-libgmpxx-prefix because it's very unlikely that
libgmpxx is installed in a different place than libgmp.
I sent this to the ppl-devel list too.
Same holds for cloog-ppl, here --with-ppl-include and --with-ppl-lib is missing.
Sebastian what do you think?
Cheers
Rainer
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAktOJUkACgkQoUhjsh59BL6+ywCgtTdQ3Ko9iW5nfloG7bcJ+KHU
U2MAoIRw20ISm2zQG+uomjDckT9Wzfzq
=zndb
-----END PGP SIGNATURE-----