summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-03 22:05:00 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-03 22:05:00 (GMT)
commit439940ab2e27f917b84668f9b65af880ae5e41fd (patch)
tree72f2606ed645ccbd71220caf2d4058bd47708202 /configure
parent9265403b8bfd3c1f20f81a52a3f2c6f7711dffb5 (diff)
Kill "./configure --local", it does not work and it is dangerous if one tries to "make uninstall"!
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure11
1 files changed, 0 insertions, 11 deletions
diff --git a/configure b/configure
index 485932d..8e28eb2 100755
--- a/configure
+++ b/configure
@@ -9,7 +9,6 @@ BINDIR_set=
LIBDIR_set=
DOCDIR_set=
MANDIR_set=
-LOCAL_set=
get_optval(){
local ret
@@ -80,7 +79,6 @@ 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
@@ -104,20 +102,12 @@ 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;" \
@@ -125,7 +115,6 @@ 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__