diff -r 6a7a047551ed -r 0a44fc4d6bd0 config/cc/gcc.in
--- a/config/cc/gcc.in	Sun May 03 21:12:26 2009 +0000
+++ b/config/cc/gcc.in	Sun Aug 02 20:06:44 2009 +0200
@@ -130,6 +130,7 @@
 config CC_GCC_4_4_or_later
     bool
     default n
+    select PPL_CLOOG_MPC
 
 config CC_VERSION
     string