Re: GMP kernel

[Bill Allombert <allomber@math.u-bordeaux.fr>]

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 configure.ac, and it is
not specially easy, see gp2c/configure.in. 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.
#TODO

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

Cheers,
Bill.