summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-22 17:44:27 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-22 17:44:27 (GMT)
commitf38b71646ad376a8442d49330c8eadb137c2bd06 (patch)
tree7d060d3491a11724c309caa81baec9078d083f52 /configure
parent787be081500206ce14dbfe412e4e6cfd32443308 (diff)
Re-instate the --local configure switch to not install and use the local crosstool-NG copy.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure11
1 files changed, 11 insertions, 0 deletions
diff --git a/configure b/configure
index 8e28eb2..485932d 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__