Re: Configuring with GMP in /usr/local

[Neil Jerram]

>>>>> "Nelson" == Nelson H F Beebe <address@hidden> writes:

    >>> I have GMP 3.1 in /usr and GMP 4.1 in /usr/local.  How do I invoke
    >>> ./configure so that it picks up GMP 4.1?

    Nelson> env PATH=/usr/local/bin:$PATH ./configure ....

    Nelson> I always put /usr/local/bin ahead of vendor directories
    Nelson> in my path, because it continues newer versions of software;
    Nelson> then I don't need the above workaround.

Thanks for the response, but I already have /usr/local/bin first in my
PATH, and it doesn't help.  The problem is somehow getting ./configure
to tell gcc to look in /usr/local/{lib,include} before
/usr/{lib,include}.

        Neil