diff options
| -rw-r--r-- | .gitignore | 3 | ||||
| -rw-r--r-- | dist/archlinux/stable/PKGBUILD | 26 | ||||
| -rw-r--r-- | dist/archlinux/stable/join-python.install | 21 |
3 files changed, 50 insertions, 0 deletions
@@ -18,4 +18,7 @@ __pycache__/ *.gz *.bz2 *.xz +/dist/*/*/* +!/dist/*/*/PKGBUILD +!/dist/*/*/join-python.install diff --git a/dist/archlinux/stable/PKGBUILD b/dist/archlinux/stable/PKGBUILD new file mode 100644 index 0000000..242220e --- /dev/null +++ b/dist/archlinux/stable/PKGBUILD @@ -0,0 +1,26 @@ +# Maintainer: Mattias Andrée <`base64 -d`(bWFhbmRyZWUK)@member.fsf.org> + +pkgname=join-python +pkgver=1.0 +pkgrel=1 +pkgdesc="Join-calculus for Python" +arch=(any) +url="https://github.com/maandree/join-python" +license=('GPL3') +install=join-python.install +depends=(python3) +makedepends=(texinfo) +source=($url/archive/$pkgver.tar.gz) +sha256sums=('') + + +build() { + cd "$srcdir/$pkgname-$pkgver" + make PREFIX=/usr DESTDIR="$pkgdir" +} + +package() { + cd "$srcdir/$pkgname-$pkgver" + make PREFIX=/usr DESTDIR="$pkgdir" install +} + diff --git a/dist/archlinux/stable/join-python.install b/dist/archlinux/stable/join-python.install new file mode 100644 index 0000000..d94edce --- /dev/null +++ b/dist/archlinux/stable/join-python.install @@ -0,0 +1,21 @@ +# -*- shell-script -*- +_file="join-python" + +infodir="usr/share/info" +file="${_file}.info" + + +post_install() { + [[ -x "usr/bin/install-info" ]] || return 0 + install-info -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null +} + +post_upgrade() { + post_install "$1" +} + +pre_remove() { + [[ -x "usr/bin/install-info" ]] || return 0 + install-info --delete -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null +} + |