crosstool-ng: configure@223c84ec2d90

     1 #!/bin/sh

     3 VERSION=$(cat version)

     4 DATE=$(date +%Y%m%d)

     6 PREFIX=/usr/local

     7 BINDIR="${PREFIX}/bin"

     8 LIBDIR="${PREFIX}/lib"

     9 DOCDIR="${PREFIX}/share/doc"

    10 MANDIR="${PREFIX}/share/man"

    12 BINDIR_set=

    13 LIBDIR_set=

    14 DOCDIR_set=

    15 MANDIR_set=

    17 get_optval(){

    18     local ret

    19     case "$1" in

    20         --*=?*)

    21             echo "${1:9}"

    22             ret=0

    23             ;;

    24         *)

    25             echo "${2}"

    26             ret=1

    27             ;;

    28     esac

    29     return ${ret}

    30 }

    32 set_prefix() {

    33     local ret

    34     PREFIX=$(get_optval "$1" "$2")

    35     ret=$?

    36     [ -z "${BINDIR_set}" ] && BINDIR="${PREFIX}/bin"

    37     [ -z "${LIBDIR_set}" ] && LIBDIR="${PREFIX}/lib"

    38     [ -z "${DOCDIR_set}" ] && DOCDIR="${PREFIX}/share/doc"

    39     [ -z "${MANDIR_set}" ] && MANDIR="${PREFIX}/share/man"

    40     return ${ret}

    41 }

    43 set_bindir() {

    44     local ret

    45     BINDIR=$(get_optval "$1" "$2")

    46     ret=$?

    47     BINDIR_set=1

    48     return ${ret}

    49 }

    51 set_libdir() {

    52     local ret

    53     LIBDIR=$(get_optval "$1" "$2")

    54     ret=$?

    55     LIBDIR_set=1

    56     return ${ret}

    57 }

    59 set_docdir() {

    60     local ret

    61     DOCDIR=$(get_optval "$1" "$2")

    62     ret=$?

    63     DOCDIR_set=1

    64     return ${ret}

    65 }

    67 set_mandir() {

    68     local ret

    69     MANDIR=$(get_optval "$1" "$2")

    70     ret=$?

    71     MANDIR_set=1

    72     return ${ret}

    73 }

    75 while [ $# -ne 0 ]; do

    76     case "$1" in

    77         --prefix*)  set_prefix "$1" "$2" && shift || shift 2;;

    78         --bindir*)  set_bindir "$1" "$2" && shift || shift 2;;

    79         --libdir*)  set_libdir "$1" "$2" && shift || shift 2;;

    80         --docdir*)  set_docdir "$1" "$2" && shift || shift 2;;

    81         --mandir*)  set_mandir "$1" "$2" && shift || shift 2;;

    82     esac

    83 done

    85 sed -r -e "s,@@BINDIR@@,${BINDIR},g;"   \

    86        -e "s,@@LIBDIR@@,${LIBDIR},g;"   \

    87        -e "s,@@DOCDIR@@,${DOCDIR},g;"   \

    88        -e "s,@@MANDIR@@,${MANDIR},g;"   \

    89        -e "s,@@VERSION@@,${VERSION},g;" \

    90        -e "s,@@DATE@@,${DATE},g;"       \

    91         Makefile.in >Makefile

author	"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
	Sun Jul 01 19:04:20 2007 +0000 (2007-07-01)
changeset 182	223c84ec2d90
child 183	f8acccd11133
permissions	-rwxr-xr-x