# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1251586819 -7200
# Node ID 75a766c2055203ced325ee317e89a3e25d9e2fce
# Parent  2542421e33218ce5e5275d71e8e0f43634160c7d
companion-libs: PPL/CLooG/MPC require GMP and MPFR

The PPL, CLoog/ppl and MPC libraries require GMP and MPFR.
Select GMP/MPFR appropriately.

diff -r 2542421e3321 -r 75a766c20552 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 01:00:19 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