Version 4.8.13.

README.md

@@ -0,0 +1,5 @@
+# z3
+
+[Z3](https://github.com/Z3Prover/z3) is a theorem prover from Microsoft
+Research.  If you are not familiar with Z3, you can start
+[here](https://github.com/Z3Prover/z3/wiki#background).

sources

@@ -1 +1 @@
-SHA512 (z3-4.8.12.tar.gz) = 0b377923bdaffaca1846aa2abd61003bbecadfcdfc908ed3097d0aac8f32028ac39d93fb4a9c2e2c2bfffbdbee80aa415875f17de6c2ee2ae8e2b7921f788c6e
+SHA512 (z3-4.8.13.tar.gz) = c5e8f34525ed3b6b2935d7f01ce2f90f5dd99b4cdd035664b36c967fb1c7f3b05abed45c7288e2261723e73d68728ee91a0f67d92012d86b04598d7b54369c30

z3.spec

@@ -1,6 +1,6 @@
 Name:           z3
-Version:        4.8.12
-Release:        3%{?dist}
+Version:        4.8.13
+Release:        1%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -97,7 +97,7 @@ sed \
   -e '/O3/d' \
   -e "s/\(['\"]\)cp\([^[:alnum:]]\)/\1cp -p\2/" \
   -e "s/\(SLIBEXTRAFLAGS = '\)'/\1-Wl,--no-whole-archive -Wl,--as-needed'/" \
-  -e "/SLIBFLAGS/s|-shared|& $RPM_LD_FLAGS -Wl,--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/OCAML_FLAGS = ''/OCAML_FLAGS = '-g'/" \
   -i scripts/mk_util.py
@@ -111,16 +111,13 @@ sed -e '/libz3java/s,\(System\.load\)Library("\(.*\)"),\1("%{_libdir}/z3/\2.so")
 # Update an OCaml interface
 sed -i 's/Pervasives/Stdlib/' src/api/ml/z3.ml
 
-# FIXME: For unknown reasons, cmake replaces the version with nothing at all
-sed -i 's/@VERSION@/%{version}/' z3.pc.cmake.in
-
 # Fix character encoding
 iconv -f iso8859-1 -t utf-8 RELEASE_NOTES > RELEASE_NOTES.utf8
 touch -r RELEASE_NOTES RELEASE_NOTES.utf8
 mv -f RELEASE_NOTES.utf8 RELEASE_NOTES
 
 %build
-export CXXFLAGS="$RPM_OPT_FLAGS"
+export CXXFLAGS="%{build_cxxflags}"
 export LANG="C.UTF-8"
 export PYTHON="%{python3}"
 
@@ -231,6 +228,9 @@ help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Fri Nov 19 2021 Jerry James <loganjerry@gmail.com> - 4.8.13-1
+- Version 4.8.13
+
 * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 4.8.12-3
 - OCaml 4.13.1 build