diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-07-06 12:31:03 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-07-06 12:31:03 +0000 |
| commit | e4128452b76c241e59e2c9eb075fc24ea6d836f3 (patch) | |
| tree | 36349dada476a722a28492689daeafcf4bc5d8cd /configure | |
| parent | 89952baf89164cbb1859ef6ae6db71dcc8a709d6 (diff) | |
| download | ppe42-gcc-e4128452b76c241e59e2c9eb075fc24ea6d836f3.tar.gz ppe42-gcc-e4128452b76c241e59e2c9eb075fc24ea6d836f3.zip | |
2012-07-06 Richard Guenther <rguenther@suse.de>
* configure.ac (extra_isl_gmp_configure_flags): Initialize and subst.
* Makefile.def (isl): Use extra_isl_gmp_configure_flags and
supply V=1 as extra_make_flags.
* configure: Regenerated.
* Makefile.in: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189327 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure b/configure index 9976d0d95bf..c21fefde54f 100755 --- a/configure +++ b/configure @@ -646,12 +646,14 @@ stage1_languages extra_host_libiberty_configure_flags clooginc clooglibs +extra_cloog_isl_configure_flags islinc isllibs poststage1_ldflags poststage1_libs stage1_libs stage1_ldflags +extra_isl_gmp_configure_flags extra_mpc_mpfr_configure_flags extra_mpc_gmp_configure_flags extra_mpfr_configure_flags @@ -5303,6 +5305,7 @@ if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; gmpinc='-I$$r/$(HOST_SUBDIR)/gmp -I$$s/gmp '"$gmpinc" extra_mpfr_configure_flags='--with-gmp-include=$$r/$(HOST_SUBDIR)/gmp --with-gmp-lib=$$r/$(HOST_SUBDIR)/gmp/'"$lt_cv_objdir" extra_mpc_gmp_configure_flags='--with-gmp-include=$$r/$(HOST_SUBDIR)/gmp --with-gmp-lib=$$r/$(HOST_SUBDIR)/gmp/'"$lt_cv_objdir" + extra_isl_gmp_configure_flags='--with-gmp-builddir=$$r/$(HOST_SUBDIR)/gmp' # Do not test the gmp version. Assume that it is sufficient, since # it is in the source tree, and the library has not been built yet # but it would be included on the link line in the version check below @@ -5542,6 +5545,7 @@ fi + # Allow host libstdc++ to be specified for static linking with PPL. # Check whether --with-host-libstdcxx was given. @@ -5671,10 +5675,12 @@ 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 @@ -5684,6 +5690,7 @@ fi + if test "x$with_isl" != "xno"; then if test "${ENABLE_ISL_CHECK}" = yes ; then |
