1.1 --- a/configure Tue Jul 03 22:05:00 2007 +0000
1.2 +++ b/configure Mon Jul 30 21:27:10 2007 +0000
1.3 @@ -9,6 +9,7 @@
1.4 LIBDIR_set=
1.5 DOCDIR_set=
1.6 MANDIR_set=
1.7 +LOCAL_set=
1.8
1.9 get_optval(){
1.10 local ret
1.11 @@ -79,6 +80,7 @@
1.12 Configuration:
1.13 -h, --help display this help and exit
1.14 --prefix=PREFIX install files in PREFIX [${PREFIX_DEFAULT}]
1.15 + --local don't install, and use current directory
1.16
1.17 By default, \`make install' will install all the files in
1.18 \`${PREFIX_DEFAULT}/bin', \`${PREFIX_DEFAULT}/lib' etc. You can specify
1.19 @@ -102,12 +104,20 @@
1.20 --libdir*) set_libdir "$1" "$2" && shift || shift 2;;
1.21 --docdir*) set_docdir "$1" "$2" && shift || shift 2;;
1.22 --mandir*) set_mandir "$1" "$2" && shift || shift 2;;
1.23 + --local) LOCAL_set=1; shift;;
1.24 --help|-h) do_help; exit 0;;
1.25 *) do_help; exit 1;;
1.26 esac
1.27 done
1.28
1.29 [ -z "${PREFIX}" ] && set_prefix "" "${PREFIX_DEFAULT}"
1.30 +if [ "${LOCAL_set}" = "1" ]; then
1.31 + set_prefix "" $(pwd)
1.32 + set_bindir "" $(pwd)
1.33 + set_libdir "" $(pwd)
1.34 + set_docdir "" $(pwd)/docs
1.35 + set_mandir "" $(pwd)/docs
1.36 +fi
1.37
1.38 sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \
1.39 -e "s,@@LIBDIR@@,${LIBDIR},g;" \
1.40 @@ -115,6 +125,7 @@
1.41 -e "s,@@MANDIR@@,${MANDIR},g;" \
1.42 -e "s,@@VERSION@@,${VERSION},g;" \
1.43 -e "s,@@DATE@@,${DATE},g;" \
1.44 + -e "s,@@LOCAL@@,${LOCAL_set},g;" \
1.45 Makefile.in >Makefile
1.46
1.47 cat <<__EOF__