1.1 --- a/config/cc/gcc.in	Mon Jul 29 00:06:35 2013 +0200
     1.2 +++ b/config/cc/gcc.in	Wed Oct 02 20:06:18 2013 +0200
     1.3 @@ -428,8 +428,6 @@
     1.4      select GMP_NEEDED
     1.5      select MPFR_NEEDED
     1.6  
     1.7 -    select CLOOG_NEEDED
     1.8 -
     1.9  config CC_GCC_USE_MPC
    1.10      bool
    1.11      select MPC_NEEDED