summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/companion_libs.in6
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