From 6854d6953115c1635a8392ab5df6ceb93fa7b9b9 Mon Sep 17 00:00:00 2001
From: Tai Chi Minh Ralph Eastwood <tcmreastwood@gmail.com>
Date: Thu, 9 Nov 2017 17:51:20 +0000
Subject: [PATCH] New package: minisat-2.2.0

---
 srcpkgs/minisat/template | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 srcpkgs/minisat/template

diff --git a/srcpkgs/minisat/template b/srcpkgs/minisat/template
new file mode 100644
index 00000000000..54a897f60b2
--- /dev/null
+++ b/srcpkgs/minisat/template
@@ -0,0 +1,24 @@
+# Template file for 'minisat'
+pkgname=minisat
+version=2.2.0
+revision=1
+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"
+only_for_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"
+checksum=92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
+
+do_install() {
+	vbin minisat_release minisat
+}
+
+post_install() {
+	vlicense ../LICENSE
+}