From b6770fb5526638679329b0f2d013591e0523a379 Mon Sep 17 00:00:00 2001
From: Daniel Martinez <danielmartinez@cock.li>
Date: Tue, 30 Jul 2024 14:48:50 -0400
Subject: [PATCH] z3: split into z3, libz3, z3-devel

---
 common/shlibs       |  2 +-
 srcpkgs/libz3       |  1 +
 srcpkgs/z3-devel    |  1 +
 srcpkgs/z3/template | 22 ++++++++++++++++++----
 4 files changed, 21 insertions(+), 5 deletions(-)
 create mode 120000 srcpkgs/libz3
 create mode 120000 srcpkgs/z3-devel

diff --git a/common/shlibs b/common/shlibs
index 1ec4dc5bc69..6f378121d0e 100644
--- a/common/shlibs
+++ b/common/shlibs
@@ -3273,7 +3273,7 @@ libKF6TextEmoticonsCore.so.1 ktextaddons-1.5.3_2
 libKF6TextGrammarCheck.so.1 ktextaddons-1.5.3_2
 libKF6TextTranslator.so.1 ktextaddons-1.5.3_2
 libKF6TextUtils.so.1 ktextaddons-1.5.3_2
-libz3.so z3-4.6.0_2
+libz3.so libz3-4.13.0_2
 libngspice.so.0 ngspice-35_1
 libvulkan.so.1 vulkan-loader-1.0.57.0_1
 libembb_mtapi_cpp.so embb-1.0.0_3
diff --git a/srcpkgs/libz3 b/srcpkgs/libz3
new file mode 120000
index 00000000000..e6b37640d80
--- /dev/null
+++ b/srcpkgs/libz3
@@ -0,0 +1 @@
+z3
\ No newline at end of file
diff --git a/srcpkgs/z3-devel b/srcpkgs/z3-devel
new file mode 120000
index 00000000000..e6b37640d80
--- /dev/null
+++ b/srcpkgs/z3-devel
@@ -0,0 +1 @@
+z3
\ No newline at end of file
diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index 82946d3139e..a0cb8966b02 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -1,14 +1,14 @@
 # Template file for 'z3'
 pkgname=z3
 version=4.13.0
-revision=1
+revision=2
 build_style=configure
 configure_args="--prefix=/usr -g --python $(vopt_if ocaml --ml)"
 make_build_args="-C build all examples"
 make_install_args="-C build install"
 hostmakedepends="python3 which $(vopt_if ocaml 'ocaml ocaml-findlib')"
 makedepends="libgomp-devel gmp-devel $(vopt_if ocaml 'ocaml-zarith ncurses-devel')"
-depends="python3 python3-setuptools"
+depends="libz3 python3 python3-setuptools"
 short_desc="Z3 theorem prover and SMT solver (command line + Python3 module)"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="MIT"
@@ -19,8 +19,7 @@ checksum=01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502
 build_options="ocaml"
 desc_option_ocaml="Enable support for OCaml bindings"
 
-shlib_provides="libz3.so"
-subpackages="$(vopt_if ocaml z3-ocaml)"
+subpackages="$(vopt_if ocaml z3-ocaml) libz3 z3-devel"
 
 if [ -z "$CROSS_BUILD" ]; then
 	case "$XBPS_TARGET_MACHINE" in
@@ -50,3 +49,18 @@ z3-ocaml_package() {
 		vmove usr/lib/ocaml
 	}
 }
+
+libz3_package() {
+	short_desc+=" - runtime library"
+	pkg_install() {
+		vmove usr/lib/libz3.so
+	}
+}
+
+z3-devel_package() {
+	depends="${sourcepkg}>=${version}_${revision}"
+	short_desc+=" - development files"
+	pkg_install() {
+		vmove usr/include
+	}
+}