config/companion_libs.in
changeset 1508 7eeeaf4bc78a
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	Mon Aug 31 12:51:53 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