picosat: split libpicosat, enable trace

srcpkgs/libpicosat

@@ -0,0 +1 @@
+picosat

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
 }
 
-picosat-devel_package() {
-	short_desc+=" - development files"
-	depends="${sourcepkg}>=${version}_${revision}"
+libpicosat_package() {
+	short_desc+=" - runtime library"
 	pkg_install() {
-		vmove usr/include
-		vmove "usr/lib/*.a"
 		vmove "usr/lib/*.so"
 	}
 }
+
+picosat-devel_package() {
+	short_desc+=" - development files"
+	depends="libpicosat>=${version}_${revision}"
+	pkg_install() {
+		vmove usr/include
+		vmove "usr/lib/*.a"
+	}
+}