From f82156850f0771dadd2eace7a2d37bfdf2884585 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Piotr=20W=C3=B3jcik?= <chocimier@tlen.pl>
Date: Mon, 3 May 2021 16:53:20 +0200
Subject: [PATCH] picosat: split libpicosat, enable trace

---
 srcpkgs/libpicosat       |  1 +
 srcpkgs/picosat/template | 14 +++++++++++---
 2 files changed, 12 insertions(+), 3 deletions(-)
 create mode 120000 srcpkgs/libpicosat

diff --git a/srcpkgs/libpicosat b/srcpkgs/libpicosat
new file mode 120000
index 000000000000..c9996e4e2614
--- /dev/null
+++ b/srcpkgs/libpicosat
@@ -0,0 +1 @@
+picosat
\ No newline at end of file
diff --git a/srcpkgs/picosat/template b/srcpkgs/picosat/template
index 27560566272b..3a14c7ef1067 100644
--- a/srcpkgs/picosat/template
+++ b/srcpkgs/picosat/template
@@ -1,7 +1,7 @@
 # Template file for 'picosat'
 pkgname=picosat
 version=965
-revision=1
+revision=2
 build_style=configure
 configure_script="./configure.sh"
 configure_args="--shared --static"
@@ -13,6 +13,8 @@ changelog="http://fmv.jku.at/picosat/NEWS"
 distfiles="http://fmv.jku.at/picosat/picosat-${version}.tar.gz"
 checksum=15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754
 
+CFLAGS=-DTRACE
+
 post_extract() {
 	# fix parallel builds
 	vsed -i -e 's/-l\(picosat\)/-l:lib\1.a/g' makefile.in
@@ -31,12 +33,18 @@ do_install() {
 	vlicense LICENSE
 }
 
+libpicosat_package() {
+	short_desc+=" - runtime library"
+	pkg_install() {
+		vmove "usr/lib/*.so"
+	}
+}
+
 picosat-devel_package() {
 	short_desc+=" - development files"
-	depends="${sourcepkg}>=${version}_${revision}"
+	depends="libpicosat>=${version}_${revision}"
 	pkg_install() {
 		vmove usr/include
 		vmove "usr/lib/*.a"
-		vmove "usr/lib/*.so"
 	}
 }