Re: [PATCH]: fix the --with-mpfr-dir=PATH configure flag

[Matt Fago <fago at earthlink dot net>]

On Nov 17, 2006, at 4:22 PM, Kaveh R. GHAZI wrote:
> Finding mpfr in an installation directory via --with-mpfr=PATH
> obviously works okay, or we'd all be hosed and would have noticed. :-)

It does not work if mpfr is in PATH/lib64. Am I the only one on  
x86_64 who
installed a 64-bit MPFR, or is RHEL odd in how it organizes its  
libraries?


> So we need to search .libs, _libs and "." for libmpfr.a.  The patch  
> below
> does this.  The analogous --with-gmp-dir=PATH already checks these  
> places
> because I suspect gmp started using libtool earlier.

It would be really great if --with-mpfr and --with-gmp could also be  
made to
check lib64. If not for 4.1, then perhaps for 4.2 and trunk. By the  
way, I seem to
recall that 64-bit Ubuntu (?) uses lib32 and lib; this seems to  
necessitate checking
lib32 as well.

Would it be problematic if the libraries were installed in both lib  
and lib64, as 32
and 64 bits, respectively? I suppose if this is the case both paths  
should be used
 -- the linker is smart enough to pick the correct one (gnu ld is  
anyhow).


Thank you for your help!

 - Matt