summaryrefslogtreecommitdiff
path: root/config/companion_libs.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-29 22:57:40 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-29 22:57:40 (GMT)
commit4ae5ff5fd8f09d67a0cf6ca7952e62454e68f390 (patch)
tree5d1a24c7cbd03ec9b14ef1300321cd690bb839fd /config/companion_libs.in
parentb7b6314a812914c74445c52f0a8e1f543e36b72a (diff)
tools wrapper: introduce the silent WRAPPER_NEEDED config option
Add the WRAPPER_NEEDED silent config option, that can be selected by components that require it (companion libs so far). Rely on this config option when deciding to install the wrapper, instead of checking GMP/MPFR or PPL/CLoog/MPC.
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r--config/companion_libs.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in
index 9b059f0..e543faa 100644
--- a/config/companion_libs.in
+++ b/config/companion_libs.in
@@ -4,9 +4,14 @@
menu "Companion libraries"
+config WRAPPER_NEEDED
+ bool
+ default n
+
config GMP_MPFR
bool
prompt "GMP and MPFR"
+ select WRAPPER_NEEDED
help
gcc 4.3.0 and above requires both GMP and MPFR to build some frontends,
and some other components can use them as well.
@@ -28,6 +33,7 @@ endif
config PPL_CLOOG_MPC
bool
prompt "PPL, GLooG/PPL and MPC"
+ select WRAPPER_NEEDED
help
gcc-4.4.0 and above requires PPL and CLooG/PPL to build some parts
of the optimiser (GRAPHITE loop optimisation, to be precise).