diff -r 6a7a047551ed -r b432bd628b10 config/cc/gcc.in
--- a/config/cc/gcc.in	Sun May 03 21:12:26 2009 +0000
+++ b/config/cc/gcc.in	Wed May 27 21:16:01 2009 +0000
@@ -130,6 +130,7 @@
 config CC_GCC_4_4_or_later
     bool
     default n
+    select PPL_CLOOG_MPC
 
 config CC_VERSION
     string