changeset 1496 | 75a766c20552 |
parent 1495 | 2542421e3321 |
child 1515 | 545179329bc5 |
1.1 --- a/config/companion_libs.in Sun Aug 30 00:57:40 2009 +0200 1.2 +++ b/config/companion_libs.in Sun Aug 30 01:00:19 2009 +0200 1.3 @@ -33,6 +33,7 @@ 1.4 config PPL_CLOOG_MPC 1.5 bool 1.6 prompt "PPL, GLooG/PPL and MPC" 1.7 + select GMP_MPFR 1.8 select WRAPPER_NEEDED 1.9 help 1.10 gcc-4.4.0 and above requires PPL and CLooG/PPL to build some parts