config/companion_libs.in
changeset 2121 ea11e149ec23
parent 2102 62834fa05290
child 2130 b46ecc90d3ab
     1.1 --- a/config/companion_libs.in	Mon Aug 30 22:51:22 2010 +0200
     1.2 +++ b/config/companion_libs.in	Fri Sep 10 01:16:26 2010 +0200
     1.3 @@ -4,8 +4,6 @@
     1.4  
     1.5  menu "Companion libraries"
     1.6  
     1.7 -comment "FIXME: check real dependencies!!!"
     1.8 -
     1.9  config COMPLIBS
    1.10      bool
    1.11      default n
    1.12 @@ -26,13 +24,11 @@
    1.13  config PPL
    1.14      bool
    1.15      select GMP
    1.16 -    select MPFR
    1.17      select COMPLIBS
    1.18  
    1.19  config CLOOG
    1.20      bool
    1.21      select GMP
    1.22 -    select MPFR
    1.23      select PPL
    1.24      select COMPLIBS
    1.25  
    1.26 @@ -40,8 +36,6 @@
    1.27      bool
    1.28      select GMP
    1.29      select MPFR
    1.30 -    select PPL
    1.31 -    select CLOOG
    1.32      select COMPLIBS
    1.33  
    1.34  config LIBELF