Update to version 3.9.

1 files changed, 9 insertions, 8 deletions

diff --git a/PKGBUILD b/PKGBUILD
index e9028df4d73c..c38235f0ef2a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,25 +1,26 @@
 # Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de>
 
 pkgname=spass
-pkgver=3.7
-pkgrel=3
+pkgver=3.9
+pkgrel=1
 pkgdesc="An Automated Theorem Prover for First-Order Logic with Equality."
 url="http://www.spass-prover.org/"
 arch=('i686' 'x86_64')
 license=('GPL')
 depends=('perl')
 makedepends=('')
-source=('http://www.spass-prover.org/download/sources/spass37.tgz')
-sha512sums=('5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12')
+source=('http://www.spass-prover.org/download/sources/spass39.tgz')
+sha512sums=('d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b')
 
 build() {
-  cd ${srcdir}/SPASS-${pkgver}
-  ./configure --prefix=/usr
+  cd $srcdir
   make || return 1
 }
 
 package() {
-  cd ${srcdir}/SPASS-${pkgver}
-  make DESTDIR=${pkgdir} install
+  cd ${srcdir}
+  local bin="$pkgdir/usr/local/bin"
+  install -d "$bin"
+  install "SPASS" "$bin"
 }
 # vim:syntax=sh