aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--Makefile.in (renamed from Makefile)2
-rwxr-xr-xconfigure28
3 files changed, 30 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index e456bd1..d9bd66a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
/public/
/tests/test-profiles/
+/Makefile
diff --git a/Makefile b/Makefile.in
index 4f9cb7c..09fd7c8 100644
--- a/Makefile
+++ b/Makefile.in
@@ -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