diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 612aeae1a09..ea29f213ddd 100755 --- a/configure +++ b/configure @@ -2353,7 +2353,7 @@ rm -f conftest* fi CFLAGS="$saved_CFLAGS" -if test x$have_gmp != xyes; then +if test -d ${srcdir}/gcc && test x$have_gmp != xyes; then { echo "configure: error: Building GCC requires GMP 4.1+ and MPFR 2.2+. Try the --with-gmp and/or --with-mpfr options to specify their locations. Copies of these libraries' source code can be found at their respective |