diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-07-06 12:55:34 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-07-06 12:55:34 +0000 |
| commit | 281f78b6c8b705bb1e712b6a0051e0e727de111f (patch) | |
| tree | 3d5bc6d0e3855e9dad88a8be4e90cb0a7c436bb8 /configure | |
| parent | e4128452b76c241e59e2c9eb075fc24ea6d836f3 (diff) | |
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-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 |