yann@182: #!/bin/sh yann@182: yann@182: VERSION=$(cat version) yann@182: DATE=$(date +%Y%m%d) yann@182: yann@182: PREFIX=/usr/local yann@182: BINDIR="${PREFIX}/bin" yann@182: LIBDIR="${PREFIX}/lib" yann@182: DOCDIR="${PREFIX}/share/doc" yann@182: MANDIR="${PREFIX}/share/man" yann@182: yann@182: BINDIR_set= yann@182: LIBDIR_set= yann@182: DOCDIR_set= yann@182: MANDIR_set= yann@182: yann@182: get_optval(){ yann@182: local ret yann@182: case "$1" in yann@182: --*=?*) yann@182: echo "${1:9}" yann@182: ret=0 yann@182: ;; yann@182: *) yann@182: echo "${2}" yann@182: ret=1 yann@182: ;; yann@182: esac yann@182: return ${ret} yann@182: } yann@182: yann@182: set_prefix() { yann@182: local ret yann@182: PREFIX=$(get_optval "$1" "$2") yann@182: ret=$? yann@182: [ -z "${BINDIR_set}" ] && BINDIR="${PREFIX}/bin" yann@182: [ -z "${LIBDIR_set}" ] && LIBDIR="${PREFIX}/lib" yann@182: [ -z "${DOCDIR_set}" ] && DOCDIR="${PREFIX}/share/doc" yann@182: [ -z "${MANDIR_set}" ] && MANDIR="${PREFIX}/share/man" yann@182: return ${ret} yann@182: } yann@182: yann@182: set_bindir() { yann@182: local ret yann@182: BINDIR=$(get_optval "$1" "$2") yann@182: ret=$? yann@182: BINDIR_set=1 yann@182: return ${ret} yann@182: } yann@182: yann@182: set_libdir() { yann@182: local ret yann@182: LIBDIR=$(get_optval "$1" "$2") yann@182: ret=$? yann@182: LIBDIR_set=1 yann@182: return ${ret} yann@182: } yann@182: yann@182: set_docdir() { yann@182: local ret yann@182: DOCDIR=$(get_optval "$1" "$2") yann@182: ret=$? yann@182: DOCDIR_set=1 yann@182: return ${ret} yann@182: } yann@182: yann@182: set_mandir() { yann@182: local ret yann@182: MANDIR=$(get_optval "$1" "$2") yann@182: ret=$? yann@182: MANDIR_set=1 yann@182: return ${ret} yann@182: } yann@182: yann@182: while [ $# -ne 0 ]; do yann@182: case "$1" in yann@182: --prefix*) set_prefix "$1" "$2" && shift || shift 2;; yann@182: --bindir*) set_bindir "$1" "$2" && shift || shift 2;; yann@182: --libdir*) set_libdir "$1" "$2" && shift || shift 2;; yann@182: --docdir*) set_docdir "$1" "$2" && shift || shift 2;; yann@182: --mandir*) set_mandir "$1" "$2" && shift || shift 2;; yann@182: esac yann@182: done yann@182: yann@182: sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \ yann@182: -e "s,@@LIBDIR@@,${LIBDIR},g;" \ yann@182: -e "s,@@DOCDIR@@,${DOCDIR},g;" \ yann@182: -e "s,@@MANDIR@@,${MANDIR},g;" \ yann@182: -e "s,@@VERSION@@,${VERSION},g;" \ yann@182: -e "s,@@DATE@@,${DATE},g;" \ yann@182: Makefile.in >Makefile