diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-05-01 19:25:12 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-05-01 19:26:10 (EDT) |
commit | c3599ec1cd3e0ed8d6c72af82dd497394f34fe49 (patch) | |
tree | 3d79243433981218b6d6558db4d0c59560b04f4f /source.mk | |
parent | 2958ce347afbbcf5cc0e9fab7d039ac838a865f8 (diff) |
source.mk: New file
Diffstat (limited to 'source.mk')
-rw-r--r-- | source.mk | 23 |
1 files changed, 23 insertions, 0 deletions
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) |