summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorghazi <ghazi@138bc75d-0d04-0410-961f-82ee72b054a4>2006-11-11 17:02:04 +0000
committerghazi <ghazi@138bc75d-0d04-0410-961f-82ee72b054a4>2006-11-11 17:02:04 +0000
commitd9705883368d22b91a844eb2399ac180ba8b5f49 (patch)
tree75a0d17cc9c87d8cdfd07e9e001dc1eac7387ff2 /configure
parenta2c554d8e62ea190f610bd74ecc6f52adca6aac8 (diff)
downloadgcc-d9705883368d22b91a844eb2399ac180ba8b5f49.tar.gz
* configure.in (have_gmp): Only error if the gcc directory exists.
* configure: Regenerate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@118699 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
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