diff options
Diffstat (limited to 'config/companion_libs.in')
-rw-r--r-- | config/companion_libs.in | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/config/companion_libs.in b/config/companion_libs.in index aa4b63a..7437d1f 100644 --- a/config/companion_libs.in +++ b/config/companion_libs.in @@ -91,4 +91,35 @@ config COMP_LIBS_TARGET Please note that for now, crosstool-NG can only build GMP and MPFR so. +choice + bool + prompt "| Install tools wrapper as:" + depends on WRAPPER_NEEDED + default TOOLS_WRAPPER_SHELL + +config TOOLS_WRAPPER_SCRIPT + bool + prompt "shell script" + help + If your host has a shell, then you should say 'Y' here, to use + a (very very simple) shell script as wrapper. + + See docs/overview.txt, section "Tools wrapper". + +config TOOLS_WRAPPER_EXEC + bool + prompt "executable" + help + If your host lacks a shell, then you should say 'Y' here, to use + an executable. + + See docs/overview.txt, section "Tools wrapper". + +endchoice + +config TOOLS_WRAPPER + string + default "script" if TOOLS_WRAPPER_SCRIPT + default "exec" if TOOLS_WRAPPER_EXEC + endmenu |