diff options
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r-- | config/companion_libs.in | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in index a1f21e9..9cb12ff 100644 --- a/config/companion_libs.in +++ b/config/companion_libs.in @@ -4,6 +4,46 @@ 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 |