twelf 1.7.1-2

2 files changed, 7 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 94e429f7cfb7..21db7e4ffb5e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Sun Mar 13 05:34:59 UTC 2016
+# Tue Mar 22 23:47:51 UTC 2016
 pkgbase = twelf
 	pkgdesc = An implementation of the logical framework LF
 	pkgver = 1.7.1
-	pkgrel = 1
+	pkgrel = 2
 	url = http://twelf.org/
 	install = twelf.install
 	arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index de9e985b5c10..b0c8ca8042c3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=twelf
 pkgver=1.7.1
-pkgrel=1
+pkgrel=2
 pkgdesc='An implementation of the logical framework LF'
 url='http://twelf.org/'
 license=('BSD')
@@ -22,6 +22,10 @@ build() {
 
 package() {
   cd "$pkgname"
+  cat > ./bin/twelf-server <<EOF
+#!/bin/sh
+exec "sml" @SMLload="/opt/twelf/bin/.heap/twelf-server.x86-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