http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56141
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-01-29 16:22:25 UTC --- If you're doing a non-default build (e.g. using cloog) you need to say exactly what you're doing and provide the FULL configure command. Trunk no longer uses PPL, it uses ISL, see http://gcc.gnu.org/install/prerequisites.html
