diff -r 2542421e3321 -r 1b90f0b34c80 config/companion_libs.in
--- a/config/companion_libs.in	Sun Aug 30 00:57:40 2009 +0200
+++ b/config/companion_libs.in	Sun Aug 30 19:33:48 2009 +0200
@@ -33,6 +33,7 @@
 config PPL_CLOOG_MPC
     bool
     prompt "PPL, GLooG/PPL and MPC"
+    select GMP_MPFR
     select WRAPPER_NEEDED
     help
       gcc-4.4.0 and above requires PPL and CLooG/PPL to build some parts