summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>2012-07-06 12:55:34 +0000
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>2012-07-06 12:55:34 +0000
commit281f78b6c8b705bb1e712b6a0051e0e727de111f (patch)
tree3d5bc6d0e3855e9dad88a8be4e90cb0a7c436bb8 /configure
parente4128452b76c241e59e2c9eb075fc24ea6d836f3 (diff)
downloadgcc-281f78b6c8b705bb1e712b6a0051e0e727de111f.tar.gz
2012-07-06 Richard Guenther <rguenther@suse.de>
* Makefile.def (cloog): Pass $(HOST_GMPINC) and $(HOST_ISLINC) as CPPFLAGS, pass path to built gmp as LDFLAGS, always use --with-gmp=system. * Makefile.in: Regenerated. * configure: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189328 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 0 insertions, 4 deletions
diff --git a/configure b/configure
index c21fefde54f..f4be931fe8b 100755
--- a/configure
+++ b/configure
@@ -646,7 +646,6 @@ stage1_languages
extra_host_libiberty_configure_flags
clooginc
clooglibs
-extra_cloog_isl_configure_flags
islinc
isllibs
poststage1_ldflags
@@ -5675,12 +5674,10 @@ fi
if test "x${with_isl_lib}" != x; then
isllibs="-L$with_isl_lib"
fi
- extra_cloog_isl_configure_flags='--with-isl=system'
if test "x${islinc}" = x && test "x${isllibs}" = x \
&& test -d ${srcdir}/isl; then
isllibs='-L$$r/$(HOST_SUBDIR)/isl/'"$lt_cv_objdir"' '
islinc='-I$$r/$(HOST_SUBDIR)/isl/include -I$$s/isl/include'
- extra_cloog_isl_configure_flags='--with-isl-builddir=$$r/$(HOST_DIR)/isl'
ENABLE_ISL_CHECK=no
fi
@@ -5690,7 +5687,6 @@ fi
-
if test "x$with_isl" != "xno"; then
if test "${ENABLE_ISL_CHECK}" = yes ; then