config/companion_libs.in
changeset 1497 1b90f0b34c80
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 19:33:48 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