diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-05-01 23:03:47 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-05-01 23:03:47 (EDT) |
| commit | 690de72a02b67a832ff81d25ea3e87bfcc99767b (patch) | |
| tree | fec5f774d00bbe17a27416e3b42c61326210e597 | |
| parent | ce4302a647b4bd9c8dd1b591f0e8b2c15c9c0fc2 (diff) | |
source.mk: New file
| -rwxr-xr-x | build | 2 | ||||
| -rw-r--r-- | control | 2 | ||||
| -rw-r--r-- | source.mk | 23 |
3 files changed, 26 insertions, 1 deletions
@@ -1,5 +1,7 @@ #! /usr/bin/make -f +include ../source.mk + nop: @: @@ -1,3 +1,3 @@ Maintainer: Warren McDonald <wdm2@njit.edu> -Build-Depends: opkhelper-3.0, libgmp-dev +Build-Depends: gpg, dirmngr, opkhelper-3.0, libgmp-dev Homepage: http://www.mpfr.org/ diff --git a/source.mk b/source.mk new file mode 100644 index 0000000..7930244 --- /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 = \ + '07F3 DBBE CC1A 3960 5078 094D 980C 1976 98C3 739D' + +$(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) |