* configure.ac (isl_options_set_schedule_serialize_sccs): Also

	use GMPINC.
	* configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@232190 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 015673c02e433e7bd4121bc2ebc0fb10402a9c22..08c2c8c372005720b8fb8d3664f65371e4c91665 100644 (file)
--- 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 e6eb99995596e9331ba4c7c574f88c7ca5d8459f..6eca48325dbd829d78568f0963f12eedb3f74671 100755 (executable)
--- 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 fad095312772af20f1553c77cdc47d8bf9234c7a..0a626e9f504fa9767af45bfec20157654671de15 100644 (file)
--- 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"