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(-)
1.1 --- a/configure Fri Jul 18 09:24:55 2008 +0000
1.2 +++ b/configure Fri Jul 18 13:26:27 2008 +0000
1.3 @@ -31,6 +31,8 @@
1.4 MANDIR_set=
1.5 LOCAL_set=
1.6
1.7 +FORCE=0
1.8 +
1.9 do_quit=
1.10 CONTRIB_list=
1.11
1.12 @@ -51,13 +53,16 @@
1.13 printf "Checking for '${tool}'... "
1.14 where=$(which "${tool}" 2>/dev/null || true)
1.15 if [ -z "${where}" ]; then
1.16 - do_error "not found!"
1.17 + printf "not found!"
1.18 + [ ${FORCE} -eq 0 ] && do_error " bailing out..."
1.19 + echo
1.20 else
1.21 printf "${where}"
1.22 if [ -n "${regexp}" ]; then
1.23 str=$(${tool} --version 2>&1 |egrep "${regexp}" |head -n 1)
1.24 if [ -z "${str}" ]; then
1.25 - do_error " failed: '${tool} --version' does not match regexp '${regexp}'"
1.26 + printf " failed: '${tool} --version' does not match regexp '${regexp}'"
1.27 + [ ${FORCE} -eq 0 ] && do_error " bailing out..."
1.28 fi
1.29 fi
1.30 echo
1.31 @@ -153,6 +158,9 @@
1.32 Installation directories:
1.33 --prefix=PREFIX install files in PREFIX [${PREFIX_DEFAULT}]
1.34 --local don't install, and use current directory
1.35 + --force force ./configure to run, even if a tool was not
1.36 + found. Use at your own risk, only if you know
1.37 + what you are doing!
1.38
1.39 By default, \`make install' will install all the files in
1.40 \`${PREFIX_DEFAULT}/bin', \`${PREFIX_DEFAULT}/lib' etc. You can specify
1.41 @@ -186,6 +194,7 @@
1.42 --docdir*) set_docdir "$1" "$2" && shift || shift 2;;
1.43 --mandir*) set_mandir "$1" "$2" && shift || shift 2;;
1.44 --local) LOCAL_set=1; shift;;
1.45 + --force) FORCE=1; shift;;
1.46 --with-contrib*)
1.47 set_contrib "$1" "$2" && shift || shift 2
1.48 [ "${do_quit}" = "1" ] && exit 0