diff options
author | ghazi <ghazi@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-11-11 17:02:04 +0000 |
---|---|---|
committer | ghazi <ghazi@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-11-11 17:02:04 +0000 |
commit | d9705883368d22b91a844eb2399ac180ba8b5f49 (patch) | |
tree | 75a0d17cc9c87d8cdfd07e9e001dc1eac7387ff2 /configure | |
parent | a2c554d8e62ea190f610bd74ecc6f52adca6aac8 (diff) | |
download | gcc-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-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 |