1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/configure	Sun Jul 01 19:04:20 2007 +0000
     1.3 @@ -0,0 +1,91 @@
     1.4 +#!/bin/sh
     1.5 +
     1.6 +VERSION=$(cat version)
     1.7 +DATE=$(date +%Y%m%d)
     1.8 +
     1.9 +PREFIX=/usr/local
    1.10 +BINDIR="${PREFIX}/bin"
    1.11 +LIBDIR="${PREFIX}/lib"
    1.12 +DOCDIR="${PREFIX}/share/doc"
    1.13 +MANDIR="${PREFIX}/share/man"
    1.14 +
    1.15 +BINDIR_set=
    1.16 +LIBDIR_set=
    1.17 +DOCDIR_set=
    1.18 +MANDIR_set=
    1.19 +
    1.20 +get_optval(){
    1.21 +    local ret
    1.22 +    case "$1" in
    1.23 +        --*=?*)
    1.24 +            echo "${1:9}"
    1.25 +            ret=0
    1.26 +            ;;
    1.27 +        *)
    1.28 +            echo "${2}"
    1.29 +            ret=1
    1.30 +            ;;
    1.31 +    esac
    1.32 +    return ${ret}
    1.33 +}
    1.34 +
    1.35 +set_prefix() {
    1.36 +    local ret
    1.37 +    PREFIX=$(get_optval "$1" "$2")
    1.38 +    ret=$?
    1.39 +    [ -z "${BINDIR_set}" ] && BINDIR="${PREFIX}/bin"
    1.40 +    [ -z "${LIBDIR_set}" ] && LIBDIR="${PREFIX}/lib"
    1.41 +    [ -z "${DOCDIR_set}" ] && DOCDIR="${PREFIX}/share/doc"
    1.42 +    [ -z "${MANDIR_set}" ] && MANDIR="${PREFIX}/share/man"
    1.43 +    return ${ret}
    1.44 +}
    1.45 +
    1.46 +set_bindir() {
    1.47 +    local ret
    1.48 +    BINDIR=$(get_optval "$1" "$2")
    1.49 +    ret=$?
    1.50 +    BINDIR_set=1
    1.51 +    return ${ret}
    1.52 +}
    1.53 +
    1.54 +set_libdir() {
    1.55 +    local ret
    1.56 +    LIBDIR=$(get_optval "$1" "$2")
    1.57 +    ret=$?
    1.58 +    LIBDIR_set=1
    1.59 +    return ${ret}
    1.60 +}
    1.61 +
    1.62 +set_docdir() {
    1.63 +    local ret
    1.64 +    DOCDIR=$(get_optval "$1" "$2")
    1.65 +    ret=$?
    1.66 +    DOCDIR_set=1
    1.67 +    return ${ret}
    1.68 +}
    1.69 +
    1.70 +set_mandir() {
    1.71 +    local ret
    1.72 +    MANDIR=$(get_optval "$1" "$2")
    1.73 +    ret=$?
    1.74 +    MANDIR_set=1
    1.75 +    return ${ret}
    1.76 +}
    1.77 +
    1.78 +while [ $# -ne 0 ]; do
    1.79 +    case "$1" in
    1.80 +        --prefix*)  set_prefix "$1" "$2" && shift || shift 2;;
    1.81 +        --bindir*)  set_bindir "$1" "$2" && shift || shift 2;;
    1.82 +        --libdir*)  set_libdir "$1" "$2" && shift || shift 2;;
    1.83 +        --docdir*)  set_docdir "$1" "$2" && shift || shift 2;;
    1.84 +        --mandir*)  set_mandir "$1" "$2" && shift || shift 2;;
    1.85 +    esac
    1.86 +done
    1.87 +
    1.88 +sed -r -e "s,@@BINDIR@@,${BINDIR},g;"   \
    1.89 +       -e "s,@@LIBDIR@@,${LIBDIR},g;"   \
    1.90 +       -e "s,@@DOCDIR@@,${DOCDIR},g;"   \
    1.91 +       -e "s,@@MANDIR@@,${MANDIR},g;"   \
    1.92 +       -e "s,@@VERSION@@,${VERSION},g;" \
    1.93 +       -e "s,@@DATE@@,${DATE},g;"       \
    1.94 +        Makefile.in >Makefile