http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44303
--- Comment #5 from Sebastian Pop <spop at gcc dot gnu.org> 2011-07-26 20:19:03 UTC --- I will close this PR when the patches from Tobias will go on trunk: http://gcc.gnu.org/ml/gcc-patches/2011-07/msg01892.html This patch-set removes support for CLooG-PPL.