diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-07-06 12:55:34 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-07-06 12:55:34 +0000 |
| commit | 81ef887874f0ab2d147fa87c3551ff072eb128eb (patch) | |
| tree | 3d5bc6d0e3855e9dad88a8be4e90cb0a7c436bb8 /configure | |
| parent | 0ff2d841ec7af4d3095ed12c8da94831354e0261 (diff) | |
| download | gcc-81ef887874f0ab2d147fa87c3551ff072eb128eb.tar.gz | |
Makefile.def (cloog): Pass $(HOST_GMPINC) and $(HOST_ISLINC) as CPPFLAGS...
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.
From-SVN: r189328
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
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 |