suggestion for ppl and cloog-ppl configure enhancement

suggestion for ppl and cloog-ppl configure enhancement

[Rainer Emrich]

-----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-----

Re: suggestion for ppl and cloog-ppl configure enhancement

[Sebastian Pop]

On Wed, Jan 13, 2010 at 14:55, Rainer Emrich <rainer@emrich-ebersheim.de> 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 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?

I'm fine with these new config flags: patches are welcome, but keep in
mind to post the changes related to PPL to the PPL mailing list, see
http://www.cs.unipr.it/ppl/ and the changes related to CLooG to
http://groups.google.com/group/cloog-development

Sebastian