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 86c9706..64cf138 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -16,7 +16,6 @@ config WRAPPER_NEEDED
config GMP
bool
- prompt "GMP"
select COMPLIBS
select WRAPPER_NEEDED
help
@@ -34,7 +33,6 @@ config GMP
config MPFR
bool
- prompt "MPFR"
select GMP
select COMPLIBS
select WRAPPER_NEEDED
@@ -53,7 +51,6 @@ config MPFR
config PPL
bool
- prompt "PPL"
select GMP
select MPFR
select COMPLIBS
@@ -68,7 +65,6 @@ config PPL
config CLOOG
bool
- prompt "GLooG/PPL"
select GMP
select MPFR
select PPL
@@ -84,7 +80,6 @@ config CLOOG
config MPC
bool
- prompt "MPC"
select GMP
select MPFR
select PPL
@@ -102,7 +97,6 @@ config MPC
config LIBELF
bool
-# prompt "libelf"
select COMPLIBS
select WRAPPER_NEEDED
help