PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

# Maintainer: rmanne <rahul_manne@hotmail.com>
pkgname=tutch-git
pkgver=r3.b199eff
pkgver() {
    cd "${pkgname%-git}"
    printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
pkgrel=1
pkgdesc='tutch is a tool for checking constructive proofs'
arch=('x86_64' 'i686')
url="http://www2.tcs.ifi.lmu.de/~abel/tutch/"
license=('unknown')
depends=('gmp')
makedepends=('mlton-git')
provides=('tutch')
conflicts=('tutch')
source=('tutch::git+https://github.com/rmanne/tutch.git')
md5sums=('SKIP')

prepare() {
    cd "$srcdir/${pkgname%-git}"
}

build() {
    cd "$srcdir/${pkgname%-git}"
    make
}

package() {
    cd "$srcdir/${pkgname%-git}"
    install -Dm755 src/tutch "$pkgdir/usr/bin/tutch"
}