path: root/scripts
diff options
authorYann E. MORIN" <>2009-08-29 22:57:40 (GMT)
committerYann E. MORIN" <>2009-08-29 22:57:40 (GMT)
commit4ae5ff5fd8f09d67a0cf6ca7952e62454e68f390 (patch)
tree5d1a24c7cbd03ec9b14ef1300321cd690bb839fd /scripts
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 'scripts')
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/build/ b/scripts/build/
index cf869a1..7837f00 100644
--- a/scripts/build/
+++ b/scripts/build/
@@ -41,8 +41,7 @@ do_finish() {
# If using the companion libraries, we need a wrapper
# that will set LD_LIBRARY_PATH approriately
- if [ "${CT_GMP_MPFR}" = "y" \
- -o "${CT_PPL_CLOOG_MPC}" = "y" ]; then
+ if [ "${CT_WRAPPER_NEEDED}" = "y" ]; then
CT_DoLog EXTRA "Installing toolchain wrappers"
CT_Pushd "${CT_PREFIX_DIR}/bin"