diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-10-03 21:11:27 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-10-03 21:11:27 (GMT) |
commit | b5246455170a0883704ee1591762f6cc8daba2ba (patch) | |
tree | ed75a4e0e623e0b322deb4822a46881dc28b218f /config/companion_libs.in | |
parent | cb1a6420e9355e5095788f425f72f78ed8e7df66 (diff) |
complibs: introduce a two-stage select
Directly select-ing the required companion libraries means we can not
disable them. That's OK for now, as we systematically build them when
they are required.
But with distros coming up-to-speed, we will need to disable the build
later-on.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
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 |