From 155a4fb6170a83e7d4bfe43213fe5437690cd35f Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN\"" Date: Fri, 18 Jul 2008 13:26:27 +0000 Subject: Enable forcing ./configure to complete, even if the needed tools are not present. /trunk/configure | 13 11 2 0 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/configure b/configure index e944e15..1303b82 100755 --- a/configure +++ b/configure @@ -31,6 +31,8 @@ DOCDIR_set= MANDIR_set= LOCAL_set= +FORCE=0 + do_quit= CONTRIB_list= @@ -51,13 +53,16 @@ has_or_abort() { printf "Checking for '${tool}'... " where=$(which "${tool}" 2>/dev/null || true) if [ -z "${where}" ]; then - do_error "not found!" + printf "not found!" + [ ${FORCE} -eq 0 ] && do_error " bailing out..." + echo else printf "${where}" if [ -n "${regexp}" ]; then str=$(${tool} --version 2>&1 |egrep "${regexp}" |head -n 1) if [ -z "${str}" ]; then - do_error " failed: '${tool} --version' does not match regexp '${regexp}'" + printf " failed: '${tool} --version' does not match regexp '${regexp}'" + [ ${FORCE} -eq 0 ] && do_error " bailing out..." fi fi echo @@ -153,6 +158,9 @@ Configuration: Installation directories: --prefix=PREFIX install files in PREFIX [${PREFIX_DEFAULT}] --local don't install, and use current directory + --force force ./configure to run, even if a tool was not + found. Use at your own risk, only if you know + what you are doing! By default, \`make install' will install all the files in \`${PREFIX_DEFAULT}/bin', \`${PREFIX_DEFAULT}/lib' etc. You can specify @@ -186,6 +194,7 @@ while [ $# -ne 0 ]; do --docdir*) set_docdir "$1" "$2" && shift || shift 2;; --mandir*) set_mandir "$1" "$2" && shift || shift 2;; --local) LOCAL_set=1; shift;; + --force) FORCE=1; shift;; --with-contrib*) set_contrib "$1" "$2" && shift || shift 2 [ "${do_quit}" = "1" ] && exit 0 -- cgit v0.10.2-6-g49f6