Bill Allombert on Thu, 6 Feb 2003 18:21:18 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: GMP kernel

On Thu, Feb 06, 2003 at 12:09:18PM -0500, Igor Schein wrote:
> Hi,
> I don't currently see an easy way to specify an alternative location
> of gmp headers and libraries.  Again, with autoconf I would be able to
> do --with-gmp=<my custom path>.

No, only someone has add special codes to, and it is
not specially easy, see gp2c/ In fact it is far easier to
add a new option to Configure than to an autoconf file.

The relevant file is config/get_gmp which read ab extenso.

Karim has stated he will write it soon in a previous mail.