source.mk: New file

3 files changed, 26 insertions, 1 deletions

diff --git a/build b/build
index 22d19fa..3090766 100755
--- a/build
+++ b/build
@@ -1,5 +1,7 @@
 #! /usr/bin/make -f
 
+include ../source.mk
+
 nop:
 	@:
 
diff --git a/control b/control
index 819a774..48cfad0 100644
--- a/control
+++ b/control
@@ -1,3 +1,3 @@
-Build-Depends: opkhelper-3.0
+Build-Depends: gpg, dirmngr, opkhelper-3.0
 Maintainer: "David T. Stanford" <dstanford@daemonbox.net>
 Homepage: http://gmplib.org/
diff --git a/source.mk b/source.mk
new file mode 100644
index 0000000..1131037
--- /dev/null
+++ b/source.mk
@@ -0,0 +1,23 @@
+upstream_archive = $(OPK_SOURCE)-$(OPK_SOURCE_VERSION_UPSTREAM).tar.xz
+upstream_url = http://ftp.gnu.org/pub/gnu/$(OPK_SOURCE)/$(upstream_archive)
+source_archive = ../$(OPK_SOURCE)-$(OPK_SOURCE_VERSION_UPSTREAM).orig.tar.xz
+
+gpg = GNUPGHOME=gnupghome/ gpg --no-default-keyring --keyring ../keyring.gpg
+keys = \
+	'343C 2FF0 FBEE 5EC2 EDBE  F399 F359 9FF8 28C6 7298'
+
+$(source_archive):
+	wget -c '$(upstream_url)' '$(upstream_url).sig'
+	install -m 0700 -d gnupghome/
+	[ -e ../keyring.gpg ] || \
+		$(gpg) --keyserver hkp://pool.sks-keyservers.net \
+			--recv-keys $(keys); \
+	rm -f ../keyring.gpg~; \
+	if ! $(gpg) --verify '$(upstream_archive).sig'; then \
+		rm -Rf gnupghome/; \
+		exit 1; \
+	fi
+	rm -Rf gnupghome/
+	mv '$(upstream_archive)' '$(source_archive)'
+
+source: $(source_archive)