From 8624c6b3d20c3455af970d111855ad7b07988a87 Mon Sep 17 00:00:00 2001
From: Albert Cervin <albert@acervin.com>
Date: Tue, 14 May 2024 22:31:47 +0200
Subject: Actually support prefix arg in configure

---
 configure | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/configure b/configure
index 63aa2f8..69c1c6f 100755
--- a/configure
+++ b/configure
@@ -10,6 +10,7 @@ Options:
 
 enable_syntax=1
 enable_asan=0
+prefix=
 while [ "$#" -gt 0 ]; do
     case $1 in
          --disable-syntax)
@@ -27,6 +28,16 @@ while [ "$#" -gt 0 ]; do
             shift 1
             ;;
 
+        --prefix)
+            prefix="$2"
+            shift 2
+            ;;
+
+        --prefix=*)
+            prefix="${1#*=}"
+            shift 1
+            ;;
+
         -h|--help)
             echo "$_usage"
             exit
@@ -76,6 +87,10 @@ if [ "$enable_asan" -ne 0 ]; then
     echo "ASAN = true" >> config.mk
 fi
 
+if [ -n "$prefix" ]; then
+    echo "setting prefix to \"$prefix\""
+    echo "prefix = $prefix" >> config.mk
+fi
 
 echo "#endif" >> src/config.h
 echo "wrote src/config.h"
-- 
cgit v1.2.3