4.patch

4.patch.txt

--- gcc-4.7.1/configure.orig	2012-07-04 04:48:09.325023491 +0000
+++ gcc-4.7.1/configure	2012-07-04 04:52:44.766013766 +0000
@@ -5681,8 +5681,8 @@
   if test "$enable_ppl_version_check" != no; then
     saved_CFLAGS="$CFLAGS"
     CFLAGS="$CFLAGS $pplinc $gmpinc"
-    { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 0.11 (revision 0 or later) of PPL" >&5
-$as_echo_n "checking for version 0.11 (revision 0 or later) of PPL... " >&6; }
+    { $as_echo "$as_me:${as_lineno-$LINENO}: checking for version 1.0 of PPL" >&5
+$as_echo_n "checking for version 1.0 of PPL... " >&6; }
     cat confdefs.h - <<_ACEOF >conftest.$ac_ext
 /* end confdefs.h.  */
 #include "ppl_c.h"
@@ -5690,7 +5690,7 @@
 main ()
 {
 
-    #if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 11
+    #if PPL_VERSION_MAJOR != 1
     choke me
     #endif