From 64fcb1d975e8ec8ac70f7ae8add2f7499e6fe6e9 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Fri, 24 May 2024 08:54:57 -0400
Subject: configure: Support more standard autoconf options

---
 configure | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index d42dec3..93254fa 100755
--- a/configure
+++ b/configure
@@ -66,6 +66,8 @@ Packaging:
 
   --prefix=/path
       Set the installation prefix (default: /usr)
+  --mandir=/path
+      Set the man page directory (default: \$PREFIX/share/man)
 
 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.
@@ -100,9 +102,17 @@ EOF
             esac
             ;;
 
-        --prefix=*)
+        --prefix=*|--mandir=*)
             shift
-            set -- "$@" "PREFIX=${arg#*=}"
+            name="${arg#--}"
+            name="${name%%=*}"
+            NAME=$(printf '%s' "$name" | tr 'a-z-' 'A-Z_')
+            set -- "$@" "$NAME=${arg#*=}"
+            ;;
+
+        --infodir=*|--build=*|--host=*|--target=*)
+            shift
+            printf 'warning: Ignoring option "%s"\n' "${arg%%=*}" >&2
             ;;
 
         MAKE=*)
-- 
cgit v1.2.3