From 3e4ed393e62c2c86d1308f5129923a7fb12ffeae Mon Sep 17 00:00:00 2001
From: Duncaen <duncaen@voidlinux.org>
Date: Wed, 3 Jul 2019 21:03:16 +0200
Subject: [PATCH] New package: picosat-965

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

diff --git a/srcpkgs/picosat/template b/srcpkgs/picosat/template
new file mode 100644
index 00000000000..27560566272
--- /dev/null
+++ b/srcpkgs/picosat/template
@@ -0,0 +1,42 @@
+# Template file for 'picosat'
+pkgname=picosat
+version=965
+revision=1
+build_style=configure
+configure_script="./configure.sh"
+configure_args="--shared --static"
+short_desc="Satisfiability (SAT) solver for boolean variables"
+maintainer="Duncaen <duncaen@voidlinux.org>"
+license="MIT"
+homepage="http://fmv.jku.at/picosat/"
+changelog="http://fmv.jku.at/picosat/NEWS"
+distfiles="http://fmv.jku.at/picosat/picosat-${version}.tar.gz"
+checksum=15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754
+
+post_extract() {
+	# fix parallel builds
+	vsed -i -e 's/-l\(picosat\)/-l:lib\1.a/g' makefile.in
+	# include breaks musl build and is not necessary for getrusage(2)
+	vsed -i -e '/sys\/unistd.h/d' picosat.c
+}
+
+do_install() {
+	vbin picogcnf
+	vbin picomcs
+	vbin picomus
+	vbin picosat
+	vinstall libpicosat.a 644 /usr/lib
+	vinstall libpicosat.so 755 /usr/lib
+	vinstall picosat.h 644 /usr/include
+	vlicense LICENSE
+}
+
+picosat-devel_package() {
+	short_desc+=" - development files"
+	depends="${sourcepkg}>=${version}_${revision}"
+	pkg_install() {
+		vmove usr/include
+		vmove "usr/lib/*.a"
+		vmove "usr/lib/*.so"
+	}
+}