# Template file for 'minisat'
pkgname=minisat
version=2.2.0
revision=2
# _FPU_EXTENDED is x87-glibc only
archs="i686 x86_64"
build_wrksrc=simp
build_style=gnu-makefile
makedepends="zlib-devel"
short_desc="Minimalistic and high-performance SAT solver"
maintainer="Tai Chi Minh Ralph Eastwood <tcmreastwood@gmail.com>"
license="MIT"
homepage="http://minisat.se/MiniSat.html"
distfiles="http://minisat.se/downloads/minisat-${version}.tar.gz"
checksum=92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808

do_build() {
	CFLAGS+=" -I${wrksrc}"
	make ${makejobs} MROOT=${wrksrc} r
}

do_install() {
	vbin minisat_release minisat
	vlicense ../LICENSE
}