spass/PKGBUILD

   1 # Contributor: Markus Gross (xsdnyd [at] gmail.com)
   2
   3 pkgname=spass
   4 pkgver=3.0
   5 pkgrel=1
   6 pkgdesc="SPASS: An Automated Theorem Prover for First-Order Logic with Equality."
   7 url="http://spass.mpi-sb.mpg.de/"
   8 arch=('i686')
   9 license=('GPL')
  10 depends=('glibc')
  11 makedepends=('')
  12 provides=('spass')
  13 source=($url/download/sources/$pkgname${pkgver//./}.tgz)
  14 md5sums=(f046b05958cfe7888e39b86caf281510)
  15
  16 build() {
  17   cd $startdir/src/SPASS-$pkgver
  18
  19   ./configure --prefix=/usr
  20
  21   make || return 1
  22   make DESTDIR=$startdir/pkg install
  23 }
  24 # vim:syntax=sh