# Template file for 'minisat' pkgname=minisat version=2.2.0 revision=2 build_wrksrc=simp build_style=gnu-makefile makedepends="zlib-devel" archs="i686 x86_64" short_desc="A minimalistic and high-performance SAT solver" maintainer="Tai Chi Minh Ralph Eastwood " 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 }