guile-devel
[Top][All Lists]
Advanced

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

Configuring with GMP in /usr/local


From: Neil Jerram
Subject: Configuring with GMP in /usr/local
Date: 26 Apr 2003 12:07:29 +0100
User-agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7

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?

Thanks,
        Neil





reply via email to

[Prev in Thread] Current Thread [Next in Thread]