./configure gains a help entry.
1.1 --- a/configure Sun Jul 01 19:04:20 2007 +0000
1.2 +++ b/configure Sun Jul 01 20:52:34 2007 +0000
1.3 @@ -3,11 +3,11 @@
1.4 VERSION=$(cat version)
1.5 DATE=$(date +%Y%m%d)
1.6
1.7 -PREFIX=/usr/local
1.8 -BINDIR="${PREFIX}/bin"
1.9 -LIBDIR="${PREFIX}/lib"
1.10 -DOCDIR="${PREFIX}/share/doc"
1.11 -MANDIR="${PREFIX}/share/man"
1.12 +PREFIX_DEFAULT=/usr/local
1.13 +BINDIR_DEFAULT="${PREFIX}/bin"
1.14 +LIBDIR_DEFAULT="${PREFIX}/lib"
1.15 +DOCDIR_DEFAULT="${PREFIX}/share/doc"
1.16 +MANDIR_DEFAULT="${PREFIX}/share/man"
1.17
1.18 BINDIR_set=
1.19 LIBDIR_set=
1.20 @@ -72,6 +72,34 @@
1.21 return ${ret}
1.22 }
1.23
1.24 +do_help() {
1.25 + cat <<__EOF__
1.26 +\`configure' configures ct-ng ${VERSION} to adapt to many kind of systems.
1.27 +
1.28 +USAGE: ./configure [OPTION]...
1.29 +
1.30 +Defaults for the options are specified in brackets.
1.31 +
1.32 +Configuration:
1.33 + -h, --help display this help and exit
1.34 + --prefix=PREFIX install architecture-independent files in PREFIX
1.35 + [${PREFIX_DEFAULT}]
1.36 +
1.37 +By default, \`make install' will install all the files in
1.38 +\`${PREFIX_DEFAULT}/bin', \`${PREFIX_DEFAULT}/lib' etc. You can specify
1.39 +an installation prefix other than \`${PREFIX_DEFAULT}' using \`--prefix',
1.40 +for instance \`--prefix=\${HOME}'.
1.41 +
1.42 +For better control, use the options below.
1.43 +
1.44 +Fine tuning of the installation directories:
1.45 + --bindir=DIR user executables [PREFIX/bin]
1.46 + --libdir=DIR object code libraries [PREFIX/lib]
1.47 + --docdir=DIR info documentation [PREFIX/share/doc]
1.48 + --mandir=DIR man documentation [PREFIX/share/man]
1.49 +__EOF__
1.50 +}
1.51 +
1.52 while [ $# -ne 0 ]; do
1.53 case "$1" in
1.54 --prefix*) set_prefix "$1" "$2" && shift || shift 2;;
1.55 @@ -79,9 +107,13 @@
1.56 --libdir*) set_libdir "$1" "$2" && shift || shift 2;;
1.57 --docdir*) set_docdir "$1" "$2" && shift || shift 2;;
1.58 --mandir*) set_mandir "$1" "$2" && shift || shift 2;;
1.59 + --help|-h) do_help; exit 0;;
1.60 + *) do_help; exit 1;;
1.61 esac
1.62 done
1.63
1.64 +[ -z "${PREFIX}" ] && set_prefix --prefix "${PREFIX_DEFAULT}"
1.65 +
1.66 sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \
1.67 -e "s,@@LIBDIR@@,${LIBDIR},g;" \
1.68 -e "s,@@DOCDIR@@,${DOCDIR},g;" \