twelf 1.7.1-4

1 files changed, 7 insertions, 2 deletions

diff --git a/PKGBUILD b/PKGBUILD
index b2c3332d891a..4609f9334316 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,12 +2,12 @@
 
 pkgname=twelf
 pkgver=1.7.1
-pkgrel=3
+pkgrel=4
 pkgdesc='An implementation of the logical framework LF'
 url='http://twelf.org/'
 license=('BSD')
 arch=('x86_64')
-depends=('bash' 'gmp' 'smlnj')
+depends=('bash' 'gmp' 'smlnj' 'subversion' 'inetutils')
 makedepends=('smlnj')
 provides=('twelf')
 conflicts=('twelf-git')
@@ -15,8 +15,13 @@ install=$pkgname.install
 source=("http://twelf.org/releases/twelf-src-$pkgver.tar.gz")
 md5sums=('1cb556366dd534f8c1c858614dd57e16')
 
+prepare() {
+  sed "s/smlnj = .*/smlnj = smlnj/g" -i twelf/Makefile
+}
+
 build() {
   cd "$pkgname"
+  make buildid
   make smlnj
 }