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

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

From-SVN: r100653

diff --git a/ChangeLog b/ChangeLog
index 42e3f854683899d92e6347478d850a7d0cadc723..d83d4eb9dc929a2ac0d35f61b8e3a5c02533b138 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2005-06-06  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.
+
 2005-05-13  David Edelsohn  <edelsohn@gnu.org>
 
        Backport from mainline:

diff --git a/configure b/configure
index 72e690462575d60da5259cee043f9c10f62f25f5..946a7cb7e840ca283f3be74ff8f361e634f31381 100755 (executable)
--- a/configure
+++ b/configure
@@ -2195,7 +2195,7 @@ fi
 
 
 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"

diff --git a/configure.in b/configure.in
index 76305f68ce7d1618d85ce3dc743f7d673755c821..fc57eff47c937def3ccc53a8e1ceb6ab7f8d3392 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -1043,7 +1043,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"