OSDN Git Service

* configure.in (have_gmp): Only error if the gcc directory exists.
[pf3gnuchains/gcc-fork.git] / configure
index 612aeae..ea29f21 100755 (executable)
--- 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