# Maintainer: Antonio Rojas <arojas@archlinux.org>

pkgname=cryptominisat
pkgver=2.9.9
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://gforge.inria.fr/frs/download.php/file/33402/cmsat-$pkgver.tar.gz")
md5sums=('8735e6295d1e0114ae649588fd82b963')

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

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

