[Bug other/56141] 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



--- Comment #5 from jarausch at igpm dot rwth-aachen.de 2013-01-30 11:54:14 UTC 
---

Many thanks for your help,



Helmut.