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"