Version 4.8.14. Conditionalize the %check script.

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.10.tar.gz) = d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b
+SHA512 (z3-4.8.14.tar.gz) = 10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab

z3.spec

@@ -1,5 +1,9 @@
+# Tests are off by default because some of the tests require more memory than
+# the koji builders have available.
+%bcond_with test
+
 Name:           z3
-Version:        4.8.10
+Version:        4.8.14
 Release:        1%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
@@ -97,7 +101,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
@@ -108,19 +112,13 @@ sed -e '/libz3java/s,\(System\.load\)Library("\(.*\)"),\1("%{_libdir}/z3/\2.so")
     -e "s/@MAJVER@/$majver/" \
     -i scripts/update_api.py
 
-# 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}"
 
@@ -181,14 +179,14 @@ rm -rf %{buildroot}%{_docdir}/Z3
 mkdir -p %{buildroot}%{_mandir}/man1
 help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
 
-#%%check
+%if %{with test}
-# Some of the tests require more memory than the koji builders have available.
+%check
-#
+export LANG="C.UTF-8"
-#export LANG="C.UTF-8"
+cd build
-#pushd build
+make test-z3
-#make test-z3
+./test-z3 /a
-#./test-z3 /a
+cd -
-#popd
+%endif
 
 %files
 %doc README.md RELEASE_NOTES
@@ -231,6 +229,22 @@ help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Fri Dec 24 2021 Jerry James <loganjerry@gmail.com> - 4.8.14-1
+- Version 4.8.14
+- Conditionalize the %%check script
+
+* Fri Nov 19 2021 Jerry James <loganjerry@gmail.com> - 4.8.13-1
+- Version 4.8.13
+
+* Tue Jul 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.12-1
+- Version 4.8.12
+
+* Tue Jun  8 2021 Jerry James <loganjerry@gmail.com> - 4.8.11-1
+- Version 4.8.11
+
+* Wed Mar  3 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-2
+- Rebuild for ocaml-zarith 1.12
+
 * Sat Feb 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.10-1
 - Version 4.8.10