blob: 52154c6c9b0290170c962c62552ea27684e28517 (
plain)
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
|
# Maintainer: Simon Legner <Simon.Legner@gmail.com>
pkgname=ttt2
pkgver=1.14
pkgrel=1
pkgdesc="An automatic termination prover for term rewrite systems (TRS)"
arch=('i686' 'x86_64')
url="http://colo6-c703.uibk.ac.at/ttt2/"
license=('LGPL')
depends=('libxslt')
makedepends=('camlidl' 'ocaml')
source=(http://colo6-c703.uibk.ac.at/ttt2/download/$pkgname-$pkgver.tar.gz)
build() {
cd "$srcdir/$pkgname"
make
}
package() {
cd "$srcdir/$pkgname"
install -D ttt2 $pkgdir/usr/bin/ttt2
}
# vim:set ts=2 sw=2 et:
md5sums=('7926caffad7b15c3b6c58d09d97f2687')
sha1sums=('e658607ab0b09f3c75e0d63703c39caa76c337a2')
|