]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
configure.ac (isl_options_set_schedule_serialize_sccs): Also use GMPINC.
authorGerald Pfeifer <gerald@pfeifer.com>
Sat, 9 Jan 2016 13:25:22 +0000 (13:25 +0000)
committerGerald Pfeifer <gerald@gcc.gnu.org>
Sat, 9 Jan 2016 13:25:22 +0000 (13:25 +0000)
* configure.ac (isl_options_set_schedule_serialize_sccs): Also
use GMPINC.
* configure: Regenerate.

From-SVN: r232190

gcc/ChangeLog
gcc/configure
gcc/configure.ac

index 015673c02e433e7bd4121bc2ebc0fb10402a9c22..08c2c8c372005720b8fb8d3664f65371e4c91665 100644 (file)
@@ -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
index e6eb99995596e9331ba4c7c574f88c7ca5d8459f..6eca48325dbd829d78568f0963f12eedb3f74671 100755 (executable)
@@ -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"
 
index fad095312772af20f1553c77cdc47d8bf9234c7a..0a626e9f504fa9767af45bfec20157654671de15 100644 (file)
@@ -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"