diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/configure b/configure deleted file mode 100755 index 021c992..0000000 --- a/configure +++ /dev/null @@ -1,42 +0,0 @@ -#!/bin/sh -set -eu - -DATE=2021-02-21 -VERSION=0.2.0 - -# 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}" - -OUT_FILES=' -Makefile -' - -for f in $OUT_FILES; do - printf 'generating "%s"...\n' "$f" - sed "$f.in" \ - -e "s:@PREFIX@:$PREFIX:g" \ - -e "s:@VERSION@:$VERSION:g" \ - -e "s:@DATE@:$DATE:g" \ - > "$f" -done - -echo Done. >&2 |