From f87466ebb02f7af117adb86ca589ce31c4cce61e Mon Sep 17 00:00:00 2001 From: Jerry James Date: Thu, 21 Dec 2023 09:48:53 -0700 Subject: [PATCH 1/3] Fix python package library load name (bz 2255464) --- z3.spec | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/z3.spec b/z3.spec index 1c1163b..f518333 100644 --- a/z3.spec +++ b/z3.spec @@ -13,7 +13,7 @@ Name: z3 Version: 4.12.4 -Release: 1%{?dist} +Release: 2%{?dist} Summary: Satisfiability Modulo Theories (SMT) solver License: MIT @@ -170,7 +170,7 @@ sed \ # Comply with the Java packaging guidelines and fill in the version for python majver=$(cut -d. -f-2 <<< %{version}) sed -e '/libz3java/s,\(System\.load\)Library("\(.*\)"),\1("%{_libdir}/z3/\2.so"),' \ - -e "s/@MAJVER@/$majver/" \ + -e "s/'so'/'so.$majver'/" \ -i scripts/update_api.py # Turn off HTML timestamps for reproducible builds @@ -309,6 +309,9 @@ cd - %{python3_sitelib}/z3/ %changelog +* Thu Dec 21 2023 Jerry James - 4.12.4-2 +- Fix python package library load name (bz 2255464) + * Sat Dec 9 2023 Jerry James - 4.12.4-1 - Version 4.12.4 - Drop upstreamed patches: python, stdint, escapes From e90564f5b257690d258528f09d73eb7253ac7ff0 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sat, 27 Jan 2024 21:04:05 -0700 Subject: [PATCH 2/3] Version 4.12.5 --- sources | 2 +- z3.spec | 7 +++++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/sources b/sources index 5c660ed..107125f 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (z3-4.12.4.tar.gz) = fcb778d2e3e0d13fc68afcd8724548279f9edbbb4aac1bbb93e00959c33330ab2fd84f2c2e4b0b78f767819725a90b845fc606a9adc931ae1f0a11f4deae433b +SHA512 (z3-4.12.5.tar.gz) = b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7 diff --git a/z3.spec b/z3.spec index f518333..d7d1505 100644 --- a/z3.spec +++ b/z3.spec @@ -12,8 +12,8 @@ %bcond_with test Name: z3 -Version: 4.12.4 -Release: 2%{?dist} +Version: 4.12.5 +Release: 1%{?dist} Summary: Satisfiability Modulo Theories (SMT) solver License: MIT @@ -309,6 +309,9 @@ cd - %{python3_sitelib}/z3/ %changelog +* Sat Jan 27 2024 Jerry James - 4.12.5-1 +- Version 4.12.5 + * Thu Dec 21 2023 Jerry James - 4.12.4-2 - Fix python package library load name (bz 2255464) From d8e4b81d748084ab594dea27f88cef453a56e72c Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sun, 25 Feb 2024 12:47:00 -0700 Subject: [PATCH 3/3] Version 4.12.6 --- sources | 2 +- z3.spec | 12 ++++++++---- 2 files changed, 9 insertions(+), 5 deletions(-) diff --git a/sources b/sources index 107125f..8c0844b 100644 --- a/sources +++ b/sources @@ -1 +1 @@ -SHA512 (z3-4.12.5.tar.gz) = b5055468d1380c54b959f826e10846c323c0ef73cf6bba0970e187c38cabd5869786261cd9b89a89d8369144417180870627782bf705e5494286dfe75053c9a7 +SHA512 (z3-4.12.6.tar.gz) = 10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f diff --git a/z3.spec b/z3.spec index d7d1505..c027b67 100644 --- a/z3.spec +++ b/z3.spec @@ -9,16 +9,17 @@ # Tests are off by default because some of the tests require more memory than # the koji builders have available. -%bcond_with test +%bcond test 0 Name: z3 -Version: 4.12.5 +Version: 4.12.6 Release: 1%{?dist} Summary: Satisfiability Modulo Theories (SMT) solver License: MIT -URL: https://github.com/Z3Prover/z3 -Source0: https://github.com/Z3Prover/z3/archive/%{name}-%{version}.tar.gz +URL: https://github.com/Z3Prover/z3/wiki +VCS: https://github.com/Z3Prover/z3 +Source0: %{vcs}/archive/%{name}-%{version}.tar.gz # Do not try to build or install native OCaml artifacts on bytecode-only arches Patch0: %{name}-ocaml.patch @@ -309,6 +310,9 @@ cd - %{python3_sitelib}/z3/ %changelog +* Sun Feb 25 2024 Jerry James - 4.12.6-1 +- Version 4.12.6 + * Sat Jan 27 2024 Jerry James - 4.12.5-1 - Version 4.12.5