New package: minisat-2.2.0

2017-11-09 17:51:20 +00:00 · 2017-11-09 17:51:20 +00:00 · 6854d69531
parent 6dc983a2c0
commit 6854d69531
1 changed files with 24 additions and 0 deletions
--- a/srcpkgs/minisat/template
+++ 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
+}