summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorEugen Kuksa2016-08-17 18:02:48 +0200
committerEugen Kuksa2016-08-17 18:02:48 +0200
commitef4aba843829522863a986ff7a918dd0bf3230bc (patch)
tree9c31b35ed9118323bcd7e608f673fb076950e179
parente31f1c156d1421385793542bffe9ec67bf40a929 (diff)
downloadaur-ef4aba843829522863a986ff7a918dd0bf3230bc.tar.gz
Update to version 3.9.
-rw-r--r--.SRCINFO10
-rw-r--r--PKGBUILD17
2 files changed, 14 insertions, 13 deletions
diff --git a/.SRCINFO b/.SRCINFO
index be010be9df7..b07fdd0ce17 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,16 @@
# Generated by mksrcinfo v8
-# Wed Feb 24 15:06:54 UTC 2016
+# Wed Aug 17 16:02:37 UTC 2016
pkgbase = spass
pkgdesc = An Automated Theorem Prover for First-Order Logic with Equality.
- pkgver = 3.7
- pkgrel = 3
+ pkgver = 3.9
+ pkgrel = 1
url = http://www.spass-prover.org/
arch = i686
arch = x86_64
license = GPL
depends = perl
- source = http://www.spass-prover.org/download/sources/spass37.tgz
- sha512sums = 5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12
+ source = http://www.spass-prover.org/download/sources/spass39.tgz
+ sha512sums = d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b
pkgname = spass
diff --git a/PKGBUILD b/PKGBUILD
index e9028df4d73..c38235f0ef2 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