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.