From 32fa76d177d57ed870683e32a23dade6462d1a2e Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sat, 8 Mar 2014 03:43:25 +0100 Subject: dist MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- dist/archlinux/stable/PKGBUILD | 26 ++++++++++++++++++++++++++ dist/archlinux/stable/join-python.install | 21 +++++++++++++++++++++ 2 files changed, 47 insertions(+) create mode 100644 dist/archlinux/stable/PKGBUILD create mode 100644 dist/archlinux/stable/join-python.install (limited to 'dist') 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 +} + -- cgit v1.2.3-70-g09d2