diff options
Diffstat (limited to 'dist/archlinux/stable/PKGBUILD')
| -rw-r--r-- | dist/archlinux/stable/PKGBUILD | 26 |
1 files changed, 26 insertions, 0 deletions
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 +} + |