diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 7e2f52aa7a3..3f86f58aa94 100644 --- a/configure.in +++ b/configure.in @@ -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" |