From f38b71646ad376a8442d49330c8eadb137c2bd06 Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN\"" Date: Sun, 22 Jul 2007 17:44:27 +0000 Subject: Re-instate the --local configure switch to not install and use the local crosstool-NG copy. --- configure | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'configure') diff --git a/configure b/configure index 8e28eb20..485932d5 100755 --- a/configure +++ b/configure @@ -9,6 +9,7 @@ BINDIR_set= LIBDIR_set= DOCDIR_set= MANDIR_set= +LOCAL_set= get_optval(){ local ret @@ -79,6 +80,7 @@ Defaults for the options are specified in brackets. Configuration: -h, --help display this help and exit --prefix=PREFIX install files in PREFIX [${PREFIX_DEFAULT}] + --local don't install, and use current directory By default, \`make install' will install all the files in \`${PREFIX_DEFAULT}/bin', \`${PREFIX_DEFAULT}/lib' etc. You can specify @@ -102,12 +104,20 @@ while [ $# -ne 0 ]; do --libdir*) set_libdir "$1" "$2" && shift || shift 2;; --docdir*) set_docdir "$1" "$2" && shift || shift 2;; --mandir*) set_mandir "$1" "$2" && shift || shift 2;; + --local) LOCAL_set=1; shift;; --help|-h) do_help; exit 0;; *) do_help; exit 1;; esac done [ -z "${PREFIX}" ] && set_prefix "" "${PREFIX_DEFAULT}" +if [ "${LOCAL_set}" = "1" ]; then + set_prefix "" $(pwd) + set_bindir "" $(pwd) + set_libdir "" $(pwd) + set_docdir "" $(pwd)/docs + set_mandir "" $(pwd)/docs +fi sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \ -e "s,@@LIBDIR@@,${LIBDIR},g;" \ @@ -115,6 +125,7 @@ sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \ -e "s,@@MANDIR@@,${MANDIR},g;" \ -e "s,@@VERSION@@,${VERSION},g;" \ -e "s,@@DATE@@,${DATE},g;" \ + -e "s,@@LOCAL@@,${LOCAL_set},g;" \ Makefile.in >Makefile cat <<__EOF__ -- cgit v1.2.3