|
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
[Prev in Thread] | Current Thread | [Next in Thread] |