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

[schnetter at gmail dot com]

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

             Bug #: 53918
           Summary: Incorrect version for cloog-ppl listed in
                    prerequisites.html
    Classification: Unclassified
           Product: gcc
           Version: 4.7.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: schnet...@gmail.com


The file INSTALL/prerequisites.html lists the file "cloog-ppl-0.15.tar.gz" as
prerequisite. This is incorrect:
(1) a file with this exact name does not exist at the location
<ftp://gcc.gnu.org/pub/gcc/infrastructure/>
(2) e.g. the file "cloog-ppl-0.15.9.tar.gz" does not work, as it requires
ppl-0.10, but the prerequisites explicitly require ppl-0.11

I believe that pointing to the file "cloog-ppl-0.15.11.tar.gz" instead would be
correct.