diff options
-rwxr-xr-x | configure | 18 |
1 files changed, 18 insertions, 0 deletions
@@ -96,6 +96,7 @@ add_to_var_list() { # the error message to print if tool is missing # optional, defaults to: '${prog}: none found' # eg: err="'bash' 3.x or above was not found" +# Note: err may be printed by caller, not us check_for() { local val local item @@ -208,6 +209,23 @@ has_or_abort() { fi } +# This function checks for a tool, and warns if not found +# See check_for(), above, for how to call has_or_abort +# Note: if err is not set, then no error message is printed +has_or_warn() { + # We declare these 6 variables here, although they are + # set in check_for(), called below + local prog inc lib + local var ver err + + if ! check_for "$@"; then + printf "${err:+${err}\n}" + if [ -n "${var}" ]; then + printf -- "--> You can give the path to this tool using: --with-${var}=PATH\n" + fi + fi +} + do_help() { cat <<__EOF__ \`configure' configures crosstool-NG-${VERSION} to adapt to many kind of systems. |