summaryrefslogtreecommitdiff
path: root/config/companion_libs.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r--config/companion_libs.in9
1 files changed, 0 insertions, 9 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index 5902cbf..d4996a6 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -6,47 +6,39 @@ menu "Companion libraries"
config COMPLIBS_NEEDED
bool
- default n
config GMP_NEEDED
bool
- default n
select GMP
select COMPLIBS_NEEDED
config MPFR_NEEDED
bool
- default n
select MPFR
select COMPLIBS_NEEDED
config PPL_NEEDED
bool
- default n
select PPL
select COMPLIBS_NEEDED
config CLOOG_NEEDED
bool
- default n
select CLOOG
select COMPLIBS_NEEDED
config MPC_NEEDED
bool
- default n
select MPC
select COMPLIBS_NEEDED
config LIBELF_NEEDED
bool
- default n
select LIBELF
select COMPLIBS_NEEDED
config COMPLIBS
bool
- default n
config GMP
bool
@@ -112,7 +104,6 @@ comment "Companion libraries common options"
config COMPLIBS_CHECK
bool
prompt "Check the companion libraries builds (!!! READ HELP!!!)"
- default n
help
It is highly recommended to check the newly built companion libraries.
Unfortunately, this is a very intensive task, and takes a loooong time.