[patch] Add toplevel configure check for MPFR

[Paul Brook]

On Sunday 25 July 2004 18:15, Daniel Jacobowitz wrote:
> On Sun, Jul 25, 2004 at 06:11:27PM +0100, Paul Brook wrote:
> > +The @option{--with-gmp} or @option{--with-gmp-dir} configure option
> > should +be used if the MPFR Library is not installed in you library
> > search path.
>
> "your".
>
> If future versions of MPFR will be independent of GMP, should we look
> for it somewhere other than $gmp_dir/mpfr/ ?

Probably, although I'd be more inclined to just remove the --with-gmp-dir. 
It's only there because that's what the original g95 configure script did. 
AFAICS it doesn't provide anything a user can't achieve with --prefix= and 
--with-gmp=

Paul