From fa5a0e799f5f8aa3115bbd4288af326dd77ccd0c Mon Sep 17 00:00:00 2001
From: jahoti <jahoti@tilde.team>
Date: Thu, 14 Oct 2021 00:00:00 +0000
Subject: Add (basic) install support

The extension can be installed if DESTDIR is supplied
---
 configure | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 4e5c038..fb56ec8 100755
--- a/configure
+++ b/configure
@@ -23,6 +23,7 @@ while [ "x$1" != x ]; do
     case "$1" in
 	--srcdir=*)         SRCDIR="$(echo "$1" | cut -c 10-)";;
 	--srcdir)                           SRCDIR="$2"; shift;;
+	"DESTDIR"=*)        DESTDIR="$(echo "$1" | cut -c 9-)";;
 	"UPDATE_URL"=*) UPDATE_URL="$(echo "$1" | cut -c 12-)";;
 	--host=*)            TARGET="$(echo "$1" | cut -c 8-)";;
 	--host)                             TARGET="$2"; shift;;
@@ -61,6 +62,7 @@ esac
 # Write record.conf (LEAVE SRCDIR FIRST)
 echo srcdir = "$SRCDIR" > record.conf
 echo default_target = "$TARGET" >> record.conf
+echo DESTDIR = "$DESTDIR" >> record.conf
 echo UPDATE_URL = "$UPDATE_URL" >> record.conf
 
 
-- 
cgit v1.2.3