ubcsat/PKGBUILD

   1 # Contributor: Arthur Danskin <arthurdanskin@gmail.com>
   2 pkgname=ubcsat
   3 pkgver=1.0.0
   4 pkgrel=2
   5 pkgdesc="A collection of stochastic SAT solvers"
   6 url="http://www.satlib.org/ubcsat/"
   7 license="custom"
   8 arch=(i686 x86_64)
   9 depends=(glibc)
  10 makedepends=(gcc)
  11 source=(http://www.satlib.org/ubcsat/ubcsat-1-0-0.tar.gz)
  12 md5sums=(4093d307fd5a1f14f44a8726a07d29de)
  13
  14 build() {
  15   cd $startdir/src/
  16   rm ubcsat
  17   make || return 1
  18   install -D -m755 ubcsat $startdir/pkg/usr/bin/ubcsat
  19   install -D -m644 legal.txt $startdir/pkg/usr/share/licenses/ubcsat/legal.txt
  20 }