From 72665d8d49c5b663c98b31b38d8cff4e1f5968a4 Mon Sep 17 00:00:00 2001
From: Gerald Pfeifer <gerald@pfeifer.com>
Date: Sat, 9 Jan 2016 13:25:22 +0000
Subject: [PATCH] configure.ac (isl_options_set_schedule_serialize_sccs): Also
 use GMPINC.

	* configure.ac (isl_options_set_schedule_serialize_sccs): Also
	use GMPINC.
	* configure: Regenerate.

From-SVN: r232190
---
 gcc/ChangeLog    | 6 ++++++
 gcc/configure    | 2 +-
 gcc/configure.ac | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 015673c02e43..08c2c8c37200 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-01-09  Gerald Pfeifer  <gerald@pfeifer.com>
+
+	* configure.ac (isl_options_set_schedule_serialize_sccs): Also 
+	use GMPINC.
+	* configure: Regenerate.
+
 2016-01-09  Jakub Jelinek  <jakub@redhat.com>
 
 	PR middle-end/50865
diff --git a/gcc/configure b/gcc/configure
index e6eb99995596..6eca48325dbd 100755
--- a/gcc/configure
+++ b/gcc/configure
@@ -28936,7 +28936,7 @@ fi
 # it's new in isl 0.15.
 if test "x${ISLLIBS}" != "x" ; then
   saved_CXXFLAGS="$CXXFLAGS"
-  CXXFLAGS="$CXXFLAGS $ISLINC"
+  CXXFLAGS="$CXXFLAGS $ISLINC $GMPINC"
   saved_LIBS="$LIBS"
   LIBS="$LIBS $ISLLIBS $GMPLIBS"
 
diff --git a/gcc/configure.ac b/gcc/configure.ac
index fad095312772..0a626e9f504f 100644
--- a/gcc/configure.ac
+++ b/gcc/configure.ac
@@ -5918,7 +5918,7 @@ fi
 # it's new in isl 0.15.
 if test "x${ISLLIBS}" != "x" ; then
   saved_CXXFLAGS="$CXXFLAGS"
-  CXXFLAGS="$CXXFLAGS $ISLINC"
+  CXXFLAGS="$CXXFLAGS $ISLINC $GMPINC"
   saved_LIBS="$LIBS"
   LIBS="$LIBS $ISLLIBS $GMPLIBS"
 
-- 
2.47.2