diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-06-28 18:30:27 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-06-28 18:30:27 (EDT) |
| commit | 787c4c6c3ce036bf823b1d953b6a20ae27c5249f (patch) | |
| tree | cff033ada02e9ab43183a7bc08d6fa2b1d026bcf /source.mk | |
linux-libre 3.10.95~gnu-1
I'm taking the opportunity to start fresh because the original
repository is weighed down by an upstream source archive in contained
long ago.
See the linux-libre package repository for the full Git history.
Diffstat (limited to 'source.mk')
| -rw-r--r-- | source.mk | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/source.mk b/source.mk new file mode 100644 index 0000000..819b8ef --- /dev/null +++ b/source.mk @@ -0,0 +1,21 @@ +upstream_version = $$(printf '%s\n' '$(OPK_SOURCE_VERSION_UPSTREAM)' | \ + sed 's/~/-/') +upstream_archive = linux-libre-$(upstream_version).tar.bz2 +upstream_releases = http://linux-libre.fsfla.org/pub/linux-libre/releases +upstream_url = $(upstream_releases)/$(upstream_version)/$(upstream_archive) +source_archive = ../linux-libre-$(OPK_SOURCE_VERSION_UPSTREAM).orig.tar.bz2 +keys = 7E7D47A7 + +$(source_archive): + wget "$(upstream_url)" + set -e; if gpg --version >/dev/null 2>&1; then \ + wget "$(upstream_url).sign"; \ + [ -e ../keyring.gpg ] || \ + gpg --keyring ../keyring.gpg --no-default-keyring \ + --recv-keys $(keys) || true; \ + gpg --verify --keyring ../keyring.gpg \ + "$(upstream_archive).sign"; \ + fi + mv "$(upstream_archive)" "$(source_archive)" + +source: $(source_archive) |