diff options
| author | Eugen Kuksa | 2016-08-17 18:02:48 +0200 |
|---|---|---|
| committer | Eugen Kuksa | 2016-08-17 18:02:48 +0200 |
| commit | ef4aba843829522863a986ff7a918dd0bf3230bc (patch) | |
| tree | 9c31b35ed9118323bcd7e608f673fb076950e179 | |
| parent | e31f1c156d1421385793542bffe9ec67bf40a929 (diff) | |
| download | aur-ef4aba843829522863a986ff7a918dd0bf3230bc.tar.gz | |
Update to version 3.9.
| -rw-r--r-- | .SRCINFO | 10 | ||||
| -rw-r--r-- | PKGBUILD | 17 |
2 files changed, 14 insertions, 13 deletions
@@ -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 @@ -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 |