z3: split into z3, libz3, z3-devel

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

srcpkgs/libz3

@@ -0,0 +1 @@
+z3

srcpkgs/z3-devel

@@ -0,0 +1 @@
+z3

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
+	}
+}