1.1 --- a/configure	Wed Jul 16 22:10:28 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