diff -r 8b9af6488210 -r c500e2df7952 config/cc/gcc.in
--- a/config/cc/gcc.in	Mon Jul 29 00:06:35 2013 +0200
+++ b/config/cc/gcc.in	Mon Sep 30 00:21:36 2013 +0200
@@ -428,8 +428,6 @@
     select GMP_NEEDED
     select MPFR_NEEDED
 
-    select CLOOG_NEEDED
-
 config CC_GCC_USE_MPC
     bool
     select MPC_NEEDED