aboutsummaryrefslogtreecommitdiff
path: root/gcc/configure
diff options
context:
space:
mode:
authorspop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>2015-12-17 18:50:05 +0000
committerspop <spop@138bc75d-0d04-0410-961f-82ee72b054a4>2015-12-17 18:50:05 +0000
commit71130ef83b18d2ab7be350b472cfc4f56b9f876b (patch)
tree7f5e57b4637b32e153d20b7805595417c9f2990f /gcc/configure
parentf12d4c107a7a38b10720f4fa074e6838a85809ef (diff)
replace ISL with isl
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231784 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/configure')
-rwxr-xr-xgcc/configure8
1 files changed, 3 insertions, 5 deletions
diff --git a/gcc/configure b/gcc/configure
index 31407efff91..e6eb9999559 100755
--- a/gcc/configure
+++ b/gcc/configure
@@ -1750,8 +1750,8 @@ Some influential environment variables:
CPP C preprocessor
GMPLIBS How to link GMP
GMPINC How to find GMP include files
- ISLLIBS How to link ISL
- ISLINC How to find ISL include files
+ ISLLIBS How to link isl
+ ISLINC How to find isl include files
Use these variables to override the choices made by `configure' or to help
it to find libraries and programs with nonstandard names/locations.
@@ -28932,10 +28932,8 @@ $as_echo "#define HAVE_isl 1" >>confdefs.h
fi
-# Check whether isl_schedule_constraints_compute_schedule is available;
-# it's new in ISL-0.13.
# Check whether isl_options_set_schedule_serialize_sccs is available;
-# it's new in ISL-0.15.
+# it's new in isl 0.15.
if test "x${ISLLIBS}" != "x" ; then
saved_CXXFLAGS="$CXXFLAGS"
CXXFLAGS="$CXXFLAGS $ISLINC"