http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32927
--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> 2013-01-10 13:08:43 UTC --- This has caused quite a bit of confusion lately with people installing ISL instead of PPL for gcc-4.7.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32927
--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> 2013-01-10 13:08:43 UTC --- This has caused quite a bit of confusion lately with people installing ISL instead of PPL for gcc-4.7.