From 01e374677472f72bf8013696750c3b6c1faa3895 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C4=90o=C3=A0n=20Tr=E1=BA=A7n=20C=C3=B4ng=20Danh?=
 <congdanhqx@gmail.com>
Date: Thu, 27 Oct 2022 18:59:08 +0700
Subject: [PATCH] minisat: fix build after auto-create_wrksrc

---
 srcpkgs/minisat/template | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

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
 }