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

+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

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"
 

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"