diff options
author | haawda | 2018-03-19 22:02:25 +0100 |
---|---|---|
committer | haawda | 2018-03-19 22:02:25 +0100 |
commit | 1750b3edd5a4c9019358d2e591cc27dbbc04afbd (patch) | |
tree | 4df81bcd5fdd318486d7be0e513e751dfde5431b | |
parent | af2f6c9a98cb2771cf091265bd538f8b68777c3c (diff) | |
download | aur-1750b3edd5a4c9019358d2e591cc27dbbc04afbd.tar.gz |
add option
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 13 |
2 files changed, 9 insertions, 9 deletions
@@ -1,15 +1,14 @@ -# Generated by mksrcinfo v8 -# Wed Jan 18 10:44:29 UTC 2017 pkgbase = minlog-git pkgdesc = Interactive proof system based on first order natural deduction calculus. pkgver = 195.ff5c8ef - pkgrel = 1 + pkgrel = 2 url = http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php arch = any license = GPL makedepends = texlive-core makedepends = git depends = bash + options = !makeflags source = git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git md5sums = SKIP @@ -1,7 +1,7 @@ # Maintainer: Stefan Husmann <stefan-husmann@t-online.de> pkgname=minlog-git pkgver=195.ff5c8ef -pkgrel=1 +pkgrel=2 pkgdesc="Interactive proof system based on first order natural deduction calculus." arch=('any') url="http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php" @@ -10,21 +10,22 @@ license=('GPL') # in that order. I build with guile, because it is a dep of make and anyone has it depends=('bash') makedepends=('texlive-core' 'git') +options=(!makeflags) + source=("git+http://www.mathematik.uni-muenchen.de/~minlogit/git/minlog.git") md5sums=('SKIP') -_gitname="minlog" pkgver() { - cd "$srcdir"/"$_gitname" - printf "%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" + cd ${pkgname%-git} +printf "%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)" } build() { - cd "$srcdir/$_gitname" + cd ${pkgname%-git} make DESTDIR=usr } package() { - cd "$srcdir/$_gitname" + cd ${pkgname%-git} make install DESTDIR="$pkgdir/usr" } |