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
---
 Makefile.in | 13 ++++++++++---
 configure   |  2 ++
 2 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 411879e..b363532 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -26,7 +26,8 @@ metafiles = build.sh configure Makefile.in process_html_file.sh README.txt \
 # The default target: placed up here
 default: $(default_target)
 
-.PHONY: mozilla chromium all all-unpacked default unpacked \
+.PHONY: mozilla install-mozilla chromium install-chromium \
+        all all-unpacked default unpacked \
         install install-html install-dvi install-pdf install-ps uninstall \
         install-strip clean distclean mostlyclean maintainer-clean TAGS info \
         dvi html pdf ps dist check installcheck installdirs
@@ -46,9 +47,17 @@ all-unpacked: mozilla-unpacked chromium-unpacked
 %-unpacked: $(extension_files) icons/haketilo16.png
 	$(srcdir)/build.sh $* $(srcdir) $(UPDATE_URL)
 
+install install-strip: $(default_target)-unpacked
+	cp -R $(default_target)-unpacked \
+	"$(DESTDIR)/{6fe13369-88e9-440f-b837-5012fb3bedec}"
+
+uninstall:
+	rm -r "$(DESTDIR)/{6fe13369-88e9-440f-b837-5012fb3bedec}"
+
 %-build.zip: %-unpacked
 	cd $< && zip -q -r ../$@ *
 
+
 # helper targets
 clean mostlyclean:
 	rm -rf mozilla-unpacked chromium-unpacked haketilo-$(version)
@@ -79,12 +88,10 @@ config.status: write_makefile.sh
 	cp "$(srcdir)"/write_makefile.sh config.status
 
 # Unused GNU-specified targets
-install install-strip:
 install-html:
 install-dvi:
 install-pdf:
 install-ps:
-uninstall:
 TAGS:
 info:
 dvi:
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