diff options
| -rw-r--r-- | .gitignore | 10 | ||||
| -rwxr-xr-x | build | 18 | ||||
| -rw-r--r-- | changelog | 5 | ||||
| -rw-r--r-- | control | 5 | ||||
| -rw-r--r-- | format | 1 | ||||
| -rwxr-xr-x | release | 13 | ||||
| -rw-r--r-- | source.mk | 36 |
7 files changed, 88 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..dd90d0e --- /dev/null +++ b/.gitignore @@ -0,0 +1,10 @@ +# Vim swap and other dot files +.* +!.gitignore + +# Source archives +*-*.orig.tar.* +keyring.gpg + +# Work area +tmp/ @@ -0,0 +1,18 @@ +#!/usr/bin/make -f + +include ../source.mk + +nop: + @: + +build: + oh-autoconfigure + oh-autobuild + touch $@ + +install: build + oh-autoinstall + oh-fixperms + oh-strip + oh-installfiles + oh-shlibdeps diff --git a/changelog b/changelog new file mode 100644 index 0000000..2d81ab3 --- /dev/null +++ b/changelog @@ -0,0 +1,5 @@ +bison (3.4.1-1) trunk + + * Initial release. + + -- Patrick McDermott <patrick.mcdermott@libiquity.com> Mon, 01 Jul 2019 01:57:43 -0400 @@ -0,0 +1,5 @@ +Maintainer: Patrick McDermott <patrick.mcdermott@libiquity.com> +Build-Depends: opkbuild (>= 4.0.1), opkhelper-3.0 (>= 3.1.2), + gpg, dirmngr, gpgconf, gpg-agent, + m4, +Homepage: https://www.gnu.org/software/bison/ @@ -0,0 +1 @@ +2.0 @@ -0,0 +1,13 @@ +#!/bin/sh + +set -eu + +read src ver <<-EOF + $(sed '1s/^\(.*\) (\(.*\)) .*$/\1 \2/; q;' changelog) + EOF + +sed '/^ -- .* /{ s/^\( -- .* \).*$/\1'"$(LC_ALL='POSIX' date \ + '+%a, %d %b %Y %H:%M:%S %z')"'/; :l; n; b l; };' changelog >changelog~ +mv changelog~ changelog +git commit -m "changelog: Release ${src} ${ver}" -- changelog +git tag "${src}/${ver}" HEAD diff --git a/source.mk b/source.mk new file mode 100644 index 0000000..2fcd765 --- /dev/null +++ b/source.mk @@ -0,0 +1,36 @@ +z = xz +keys = \ + '7DF8 4374 B1EE 1F97 64BB E25D 0DDC AA32 78D5 264E' \ + '7E37 92A9 D8AC F7D6 33BC 1588 ED97 E90E 62AA 7E34' + +upstream_archive = $(OPK_SOURCE)-$(OPK_SOURCE_VERSION_UPSTREAM).tar.$(z) +upstream_url = http://ftp.gnu.org/pub/gnu/$(OPK_SOURCE)/$(upstream_archive) +source_archive = ../$(OPK_SOURCE)-$(OPK_SOURCE_VERSION_UPSTREAM).orig.tar.$(z) + +GNUPGHOME = gnupghome +# TODO: When GnuPG is built with TLS support, delete the second "keyserver" line +# to switch to a non-SKS keyserver. We can't switch yet, because the Web server +# at keys.openpgp.org redirects (HTTP 301) to HTTPS (and enforces it with HSTS). +keyserver = hkps://keys.openpgp.org +keyserver = hkp://pool.sks-keyservers.net +keyring = ../keyring.gpg +cleanup = gpgconf --kill all; rm -Rf '$(GNUPGHOME)'; sleep 5 + +$(keyring): + gpg --recv-keys $(keys) || { rm -Rf '$@'; exit 1; } + rm -f '$@~' + +$(source_archive): $(keyring) + wget -c "$(upstream_url)" "$(upstream_url).sig" + gpg --verify "$(upstream_archive).sig" + mv "$(upstream_archive)" "$(source_archive)" + +source: + install -m 0700 -d '$(GNUPGHOME)' + umask 0177; printf 'keyserver $(keyserver)\n' \ + 1>'$(GNUPGHOME)/dirmngr.conf' + umask 0177; printf 'no-default-keyring\nkeyring $(keyring)\nverbose\n' \ + 1>'$(GNUPGHOME)/gpg.conf' + GNUPGHOME='$(GNUPGHOME)' $(MAKE) -f ../source.mk "$(source_archive)" \ + || { $(cleanup); exit 1; } + $(cleanup) |