zchaff/PKGBUILD

   1 # Contributor: Arthur Danskin <arthurdanskin@gmail.com>
   2
   3 pkgname=zchaff
   4 pkgver=2004.11.15
   5 pkgrel=2
   6 pkgdesc="A fast systematic SAT solver"
   7 url="http://www.princeton.edu/~chaff/zchaff.html"
   8 license="custom:Princeton"
   9 depends=(perl gcc)
  10 arch=(i686)
  11 makedepends=()
  12 provides=()
  13 conflicts=()
  14 replaces=()
  15 backup=()
  16 install=
  17 source=(http://www.ee.princeton.edu/~chaff/zchaff/$pkgname.$pkgver.zip)
  18 md5sums=('cdb6e46286700d8d7b34087ed94248f7')
  19
  20 build() {
  21   cd $startdir/src/zchaff
  22
  23   # extract the copyright from a source file
  24   head -n 35 sat_solver.cpp | tail -n 32  > COPYRIGHT
  25
  26   make all || return 1
  27   mkdir -p $startdir/pkg/usr/bin
  28   install -D -m755 zchaff zminimal zverify_df cnf_stats run_till_fix.pl $startdir/pkg/usr/bin
  29   install -D -m644 COPYRIGHT $startdir/pkg/usr/share/licenses/$pkgname/COPYRIGHT
  30 }