+2008-09-03 Sebastian Pop <sebastian.pop@amd.com>
+
+ * configure.ac (--with-cloog-polylib): New.
+ (--disable-cloog-version-check): New.
+ (--disable-ppl-version-check): New.
+ * configure: Re-generate.
+
2008-09-03 Richard Guenther <rguenther@suse.de>
* configure.ac: Always pass -DCLOOG_PPL_BACKEND to the