summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD13
1 files changed, 7 insertions, 6 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 98e0d29a4ec..9ed988c35c0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"
}