[configury patch] don't add 'mpfr' to --with-mpfr-dir

[Tobias Schlüter]

I tried to configure on a box without mpfr installed, using --with-mpfr-dir
instead, and this failed because configure added '/mpfr' to the path I had
given.  Can anybody explain to me why this should be needed, or is this patch
ok?  With the patch, mpfr.h is correctly located, and the build proceeds.

Unfortunately, I couldn't build because xgcc couldn't find the system headers
(which are in an unusual location on that box), and I found no way of passing
the right options to xgcc.  Any hints (BOOT_CFLAGS didn't work)?

- Tobi

2005-06-04  Tobias Schl"uter  <tobias.schlueter@physik.uni-muenchen.de>

	* configure.in: Don't add another '/mpfr' to the directory given
	in --with-mpfr-dir.
	* configure: Regenerate.

Index: configure.in
===================================================================
RCS file: /cvsroot/gcc/gcc/configure.in,v
retrieving revision 1.351
diff -u -p -r1.351 configure.in
--- configure.in        2 Jun 2005 19:54:19 -0000       1.351
+++ configure.in        4 Jun 2005 17:01:23 -0000
@@ -1033,7 +1033,7 @@ have_gmp=yes
 AC_ARG_WITH(mpfr-dir, [  --with-mpfr-dir=PATH    Specify source directory for
MPFR library])

 if test "x$with_mpfr_dir" != x; then
-  gmpinc="-I$with_mpfr_dir/mpfr"
+  gmpinc="-I$with_mpfr_dir"
   gmplibs="$with_mpfr_dir/libmpfr.a"
 else
   gmplibs="-lmpfr"