diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-06-26 22:26:58 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-06-26 22:26:58 (EDT) |
commit | b2bb7481c59e42ba0517ec29a9abbc9f118a4fff (patch) | |
tree | 6f92e0a92ef9a0c3d0cc7291b86b5b4a2cef5910 | |
parent | 02042271ac0c1b17f62693be51c093cb4a1f726e (diff) |
source.mk, keyring.gpg: New files.
-rwxr-xr-x | build | 2 | ||||
-rw-r--r-- | keyring.gpg | bin | 0 -> 8120 bytes | |||
-rw-r--r-- | source.mk | 19 |
3 files changed, 21 insertions, 0 deletions
@@ -1,5 +1,7 @@ #! /usr/bin/make -f +include ../source.mk + nop: @: diff --git a/keyring.gpg b/keyring.gpg Binary files differnew file mode 100644 index 0000000..764ee3b --- /dev/null +++ b/keyring.gpg diff --git a/source.mk b/source.mk new file mode 100644 index 0000000..b6101bb --- /dev/null +++ b/source.mk @@ -0,0 +1,19 @@ +upstream_archive = make-$(OPK_SOURCE_VERSION_UPSTREAM).tar.gz +upstream_url = http://ftp.gnu.org/gnu/make/$(upstream_archive) +source_archive = ../$(OPK_SOURCE)-$(OPK_SOURCE_VERSION_UPSTREAM).orig.tar.gz +keys = '3D25 54F0 A153 38AB 9AF1 BB9D 96B0 4715 6338 B6D4' + +$(source_archive): + wget -c '$(upstream_url)' + set -e; if gpg --version >/dev/null 2>&1; then \ + wget -c '$(upstream_url).sig'; \ + [ -e ../keyring.gpg ] || \ + gpg --keyring ../keyring.gpg --no-default-keyring \ + --recv-keys $(keys) || true; \ + rm -f ../keyring.gpg~; \ + gpg --verify --keyring ../keyring.gpg \ + '$(upstream_archive).sig'; \ + fi + mv '$(upstream_archive)' '$(source_archive)' + +source: $(source_archive) |