diff --git a/srcpkgs/minisat/template b/srcpkgs/minisat/template
index e462c8ba34a..374c3da5197 100644
--- a/srcpkgs/minisat/template
+++ b/srcpkgs/minisat/template
@@ -5,20 +5,21 @@ revision=2
 wrksrc=minisat
 build_wrksrc=simp
 build_style=gnu-makefile
-make_build_args="MROOT=${XBPS_BUILDDIR}/${wrksrc} CFLAGS="-I${XBPS_BUILDDIR}/${wrksrc}" r"
 makedepends="zlib-devel"
 archs="i686 x86_64"
 short_desc="A 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-2.2.0.tar.gz"
+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
-}
-
-post_install() {
 	vlicense ../LICENSE
 }