summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 7 insertions, 5 deletions
diff --git a/configure b/configure
index ef6f58c..5156c91 100755
--- a/configure
+++ b/configure
@@ -7,6 +7,9 @@
set -eu
+# Get the relative path to the source tree based on how the script was run
+DIR=$(dirname -- "$0")
+
# Print the help message
help() {
cat <<EOF
@@ -57,6 +60,8 @@ Packaging:
Set the installation prefix (default: /usr)
--mandir=/path
Set the man page directory (default: \$PREFIX/share/man)
+ --version=X.Y.Z
+ Set the version string (default: $("$DIR/build/version.sh"))
This script is a thin wrapper around a makefile-based configuration system.
Any other arguments will be passed directly to the $MAKE invocation, e.g.
@@ -134,7 +139,7 @@ for arg; do
printf 'warning: Treating "%s" like "%s"\n' "$old" "$arg" >&2
;;
esac
- ;;
+ ;;
esac
case "$arg" in
@@ -165,7 +170,7 @@ for arg; do
esac
;;
- --prefix=*|--mandir=*)
+ --prefix=*|--mandir=*|--version=*)
set -- "$@" "$NAME=$value"
;;
@@ -188,9 +193,6 @@ for arg; do
esac
done
-# Get the relative path to the source tree based on how the script was run
-DIR=$(dirname -- "$0")
-
# Set up symbolic links for out-of-tree builds
for f in Makefile build completions docs src tests; do
test -e "$f" || ln -s "$DIR/$f" "$f"