[Bug other/56141] New: 4.8.0 git version fails to config - there is no cloog-ppl-0.18.0

[jarausch at igpm dot rwth-aachen.de]

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

             Bug #: 56141
           Summary: 4.8.0 git version fails to config - there is no
                    cloog-ppl-0.18.0
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jarausch@igpm.rwth-aachen.de


Since 3 weeks at most, the git version fails to configure.
The test for cloog is broken:
configure invokes gcc with --with-cloog-include=/usr/include/cloog-ppl
and checks then for version 0.18.x. But there is no cloog-ppl-0.18.x around.
Only cloog-0.18.0  and cloop-ppl-0.15.10 are installed here.
My last successful build was on Jan, 7th.
ftp://gcc.gnu.org/pub/gcc/infrastructure doesn't contain a new version.

Helmut.