# $Id: PKGBUILD 138949 2015-08-29 21:17:53Z arojas $
# Maintainer: Antonio Rojas <arojas@archlinux.org>

pkgname=cryptominisat
pkgver=2.9.10
pkgrel=1
pkgdesc="SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat"
arch=(i686 x86_64)
url="http://www.msoos.org/cryptominisat2/"
license=(LGPL)
depends=(zlib gcc-libs)
makedepends=()
source=("https://github.com/msoos/$pkgname/archive/$pkgname-$pkgver.zip")
md5sums=('eb46361e991c04211f87fb4a18743e11')

prepare() {
  cd $pkgname-$pkgname-$pkgver
  autoreconf -vi
}

build() {
  cd $pkgname-$pkgname-$pkgver
  ./configure --prefix=/usr
  make
}

package() {
  cd $pkgname-$pkgname-$pkgver
  make install DESTDIR="$pkgdir"
}

