6f6f1fd
diff -up cloog-ppl-0.15.11/configure.in.verfix cloog-ppl-0.15.11/configure.in
6f6f1fd
--- cloog-ppl-0.15.11/configure.in.verfix	2012-12-03 16:46:17.295807008 -0500
6f6f1fd
+++ cloog-ppl-0.15.11/configure.in	2012-12-03 16:46:59.010827161 -0500
6f6f1fd
@@ -338,7 +338,7 @@ if test "x$with_ppl" != "x" -a "x$with_p
6f6f1fd
 
6f6f1fd
 	AC_MSG_CHECKING([for version 0.10 (or later revision) of PPL])
6f6f1fd
 	AC_TRY_COMPILE([#include "ppl_c.h"],[
6f6f1fd
-	#if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10
6f6f1fd
+	#if (PPL_VERSION_MAJOR != 1) || (PPL_VERSION_MAJOR == 0 && PPL_VERSION_MINOR < 10)
6f6f1fd
 	choke me
6f6f1fd
 	#endif
6f6f1fd
 	], [AC_MSG_RESULT([yes])], [AC_MSG_ERROR(Can't find correct version of PPL.) ])
6f6f1fd
diff -up cloog-ppl-0.15.11/configure.verfix cloog-ppl-0.15.11/configure
6f6f1fd
--- cloog-ppl-0.15.11/configure.verfix	2012-12-03 16:47:21.996837121 -0500
6f6f1fd
+++ cloog-ppl-0.15.11/configure	2012-12-03 16:47:34.893842170 -0500
6f6f1fd
@@ -11222,7 +11222,7 @@ int
6f6f1fd
 main ()
6f6f1fd
 {
6f6f1fd
 
6f6f1fd
-	#if PPL_VERSION_MAJOR != 0 || PPL_VERSION_MINOR < 10
6f6f1fd
+	#if (PPL_VERSION_MAJOR != 1) || (PPL_VERSION_MAJOR == 0 && PPL_VERSION_MINOR < 10)
6f6f1fd
 	choke me
6f6f1fd
 	#endif
6f6f1fd