[PPL-devel] suggestion for a ppl configure enhancement

[Sven Verdoolaege]

On Wed, Jan 13, 2010 at 08:33:32PM +0100, Rainer Emrich wrote:
> -----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

I would you use

  --with-gmp-prefix=DIR
  --with-gmp-exec-prefix=DIR

instead.

skimo