diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile.in (renamed from Makefile) | 2 | ||||
-rwxr-xr-x | configure | 28 |
3 files changed, 30 insertions, 1 deletions
@@ -1,2 +1,3 @@ /public/ /tests/test-profiles/ +/Makefile @@ -1,5 +1,5 @@ .POSIX: -PREFIX = /usr/local +PREFIX = @PREFIX@ MANPREFIX = $(PREFIX)/share/man VERSION = 0.1.2 DATE = 2021-01-26 diff --git a/configure b/configure new file mode 100755 index 0000000..a50278a --- /dev/null +++ b/configure @@ -0,0 +1,28 @@ +#!/bin/sh +set -eu + +# shellcheck disable=2068 +for f in $@; do + case "$f" in + --prefix) + shift + CLI_PREFIX="$1" + shift + ;; + --prefix=*) + CLI_PREFIX="${f#--prefix=}" + shift + ;; + *) + if [ -n "${1:-}" ]; then + shift + fi + ;; + esac +done + +PREFIX="${CLI_PREFIX:-/usr/local}" + +sed "s:@PREFIX@:$PREFIX:g" Makefile.in > Makefile + +echo Done. >&2 |