[Bug other/53918] Incorrect version for cloog-ppl listed in prerequisites.html

[utke at mcs dot anl.gov]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53918

utke at mcs dot anl.gov changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |utke at mcs dot anl.gov

--- Comment #2 from utke at mcs dot anl.gov 2012-09-25 14:35:34 UTC ---
for v 4.7.2  I went with the prerequisites  cloog 0.17.0 on the prerequisites
page  but when configuring gcc it would by default insist on the PPL backend
unless I specify  
--enable-cloog-backend=isl
and then, with that configure would insist on version 0.16.x
with the test: 
#if CLOOG_VERSION_MAJOR != 0     || CLOOG_VERSION_MINOR != 16     ||
CLOOG_VERSION_REVISION < 1
|     choke me
|    #endif

and so I also have to 
--disable-cloog-version-check

So the either the prerequisites page is wrong or the configure.