summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 59dcc5e539e464ba68ad33ad01a3cbc95c9038e8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
# Maintainer: Eugen Kuksa <eugenk@cs.uni-bremen.de>

pkgname=spass
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=('BSD 2-Clause')
depends=('')
makedepends=('')
source=('http://www.spass-prover.org/download/sources/spass39.tgz')
sha512sums=('d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b')

build() {
  cd $srcdir
  make || return 1
}

package() {
  cd ${srcdir}
  local bin="$pkgdir/usr/local/bin"
  install -d "$bin"
  install "SPASS" "$bin"
}
# vim:syntax=sh