diff options
-rw-r--r-- | config/companion_libs.in | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in index ef728c0..4ad1fdd 100644 --- a/config/companion_libs.in +++ b/config/companion_libs.in @@ -4,8 +4,6 @@ menu "Companion libraries" -comment "FIXME: check real dependencies!!!" - config COMPLIBS bool default n @@ -26,13 +24,11 @@ config MPFR config PPL bool select GMP - select MPFR select COMPLIBS config CLOOG bool select GMP - select MPFR select PPL select COMPLIBS @@ -40,8 +36,6 @@ config MPC bool select GMP select MPFR - select PPL - select CLOOG select COMPLIBS config LIBELF |