blob: 557981404d6d084a02e306de610036fb3057ff3e (
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
|
# Maintainer: Mort Yao <soi@mort.ninja>
pkgname=twelf-git
pkgver=20130819
pkgrel=4
pkgdesc='An implementation of the logical framework LF'
url='http://twelf.org/'
license=('BSD')
arch=('i686' 'x86_64')
depends=('bash' 'gmp' 'smlnj')
makedepends=('smlnj')
provides=('twelf')
conflicts=('twelf')
install=$pkgname.install
source=("${pkgname}::git://github.com/standardml/twelf.git")
md5sums=('SKIP')
pkgver() {
cd "$pkgname"
git log -1 --pretty=format:%cd --date=short | sed 's/-//g'
}
build() {
cd "$pkgname"
make smlnj
}
package() {
cd "$pkgname"
cat > ./bin/twelf-server <<EOF
#!/bin/sh
exec "sml" @SMLload="/opt/twelf/bin/.heap/twelf-server.amd64-linux" @SMLdebug=/dev/null
EOF
install -d -m755 $pkgdir/opt/twelf $pkgdir/usr/bin
cp -r . $pkgdir/opt/twelf
ln -s /opt/twelf/bin/twelf-server $pkgdir/usr/bin/twelf-server
}
|