aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile.in13
-rwxr-xr-xconfigure2
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