blob: 6f5beb675761ef7e653528f2d0d932bb38c25efb (
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
# Maintainer: Lars Hupel <lars@hupel.info>
# Contributor: Ramana Kumar <firstname|@|member.fsf.org>
pkgname=opentheory-git
pkgver="1.3.r1493.45d7d5e5"
_basever="1.3"
pkgrel=2
pkgdesc="a tool for processing higher-order logic theory packages"
arch=('x86_64')
url="http://www.gilith.com/software/opentheory"
license=('MIT')
groups=()
depends=()
makedepends=(mlton git)
provides=("${pkgname%-git}")
conflicts=("${pkgname%-git}")
source=('opentheory::git+https://github.com/gilith/opentheory.git')
md5sums=('SKIP')
pkgver() {
cd "$srcdir/${pkgname%-git}"
printf "${_basever}.r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
build() {
cd "$srcdir/${pkgname%-git}"
make init
}
check() {
cd "$srcdir/${pkgname%-git}"
make mlton
}
package() {
mkdir -p "$pkgdir/usr/bin"
cp -p "$srcdir/${pkgname%-git}/bin/mlton/${pkgname%-git}" "$pkgdir/usr/bin/${pkgname%-git}"
}
# vim:set ts=2 sw=2 et:
|