[rpms/z3] rawhide: Version 5.0.0

[Jerry James <loganjerry@gmail.com>]

            A new commit has been pushed.

            Repo   : rpms/z3
            Branch : rawhide
            Commit : f5dee7eebd2f1a2a1f908830febbe3561f184e8b
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-07-24T13:50:31-06:00
            Stats  : +6/-14 in 2 file(s)
            URL    : https://src.fedoraproject.org/rpms/z3/c/f5dee7eebd2f1a2a1f908830febbe3561f184e8b?branch=rawhide

            Log:
            Version 5.0.0

- Drop s390x doc workaround

---
diff --git a/sources b/sources
index fcc522d..48cb632 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.16.0.tar.gz) = 7dbcdd04a72f46bc3b6cbac2453b2a43f5ae126287b878ffe37f0573f910a1130c474c5edfa622dab09957f106cf425ab0f7cdfd34d41658599ad50a81ae39dd
+SHA512 (z3-5.0.0.tar.gz) = c6bed41313a643f2bcad6d6cfda241af948d81326bb41a5a18575170f51c1f4f75afc9e01022df9a6122e71fc54ef813ad2ac9745e40da68c892be68b4777baf

diff --git a/z3.spec b/z3.spec
index da82c1f..10b7f4b 100644
--- a/z3.spec
+++ b/z3.spec
@@ -15,7 +15,7 @@
 %bcond test 0
 
 Name:           z3
-Version:        4.16.0
+Version:        5.0.0
 Release:        %autorelease
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
@@ -28,8 +28,6 @@ VCS :           git:%{giturl}.git
 Source:         %{giturl}/archive/%{name}-%{version}.tar.gz
 # Do not try to build or install native OCaml artifacts on bytecode-only arches
 Patch:          %{name}-ocaml.patch
-# Fix up the s390x docs so they look like other arches
-Patch:          %{name}-s390x-doc.patch
 
 # See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval
 ExcludeArch:    %{ix86}
@@ -159,7 +157,7 @@ sed \
   -e "s/\(['\"]\)cp\([^[:alnum:]]\)/\1cp -p\2/" \
   -e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive'/" \
   -e '/SLIBFLAGS/s|-shared|& %{build_ldflags} -Wl,--whole-archive|' \
-  -e 's/\(libz3$(SO_EXT)\)\(\\n\)/\1 -Wl,--no-whole-archive\2/' \
+  -e 's/\(libz3$(SO_EXT)\)\( \$(SLINK\)/\1 -Wl,--no-whole-archive\2/' \
   -e "s/OCAML_FLAGS = ''/OCAML_FLAGS = '-g'/" \
   -i scripts/mk_util.py
 
@@ -181,12 +179,6 @@ sed -ri 's/, handle [0-9a-fA-F]+//' \
     %{_vpath_builddir}/doc/api/html/z3{,.z3{,num,poly,printer,rcf,util}}.html
 sed -ri 's/ at 0x[0-9a-fA-F]+//g' \
     %{_vpath_builddir}/doc/api/html/z3.z3core.html
-# For unknown reasons, the s390x documentation build has fewer newlines than
-# the builds on other architectures.  Make the outputs match so the doc
-# package can be noarch.
-%ifarch s390x
-patch -p1 -T -d %{_vpath_builddir} < %{PATCH1}
-%endif
 
 # The cmake build system does not build the OCaml interface.  Do that manually.
 #
@@ -252,7 +244,7 @@ cd -
 
 %files libs
 %license LICENSE.txt
-%{_libdir}/libz3.so.4.16{,.*}
+%{_libdir}/libz3.so.5.0{,.*}
 
 %files devel
 %{_includedir}/z3/
@@ -267,7 +259,7 @@ cd -
 %ifarch %{java_arches}
 %files -n java-z3
 %{_libdir}/z3/
-%{_jnidir}/com.microsoft.z3*jar
+%{_jnidir}/com.microsoft.z3.jar
 %endif
 
 %files -n ocaml-z3
@@ -278,7 +270,7 @@ cd -
 %ifarch %{ocaml_native_compiler}
 %{ocamldir}/Z3/*.cmxs
 %endif
-%{ocamldir}/stublibs/*.so
+%{ocamldir}/stublibs/dllz3ml.so
 
 %files -n ocaml-z3-devel
 %{ocamldir}/Z3/*.a