Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package z3 for openSUSE:Factory checked in at 2024-10-30 17:39:47 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/z3 (Old) and /work/SRC/openSUSE:Factory/.z3.new.2020 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "z3" Wed Oct 30 17:39:47 2024 rev:42 rq:1219484 version:4.13.3 Changes: -------- --- /work/SRC/openSUSE:Factory/z3/z3.changes 2024-10-14 13:08:28.079878884 +0200 +++ /work/SRC/openSUSE:Factory/.z3.new.2020/z3.changes 2024-10-30 17:40:18.323010020 +0100 @@ -1,0 +2,5 @@ +Mon Oct 14 09:42:25 UTC 2024 - Jiri Slaby <[email protected]> + +- build with g++-13 on < 1600 (z3 needs c++20) + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ z3.spec ++++++ --- /var/tmp/diff_new_pack.1Usk0X/_old 2024-10-30 17:40:19.051040688 +0100 +++ /var/tmp/diff_new_pack.1Usk0X/_new 2024-10-30 17:40:19.055040857 +0100 @@ -25,7 +25,11 @@ Group: Productivity/Scientific/Other URL: https://github.com/Z3Prover/z3/wiki Source0: https://github.com/Z3Prover/z3/archive/z3-%{version}.tar.gz +%if 0%{suse_version} < 1600 +BuildRequires: gcc13-c++ +%else BuildRequires: c++_compiler +%endif BuildRequires: cmake BuildRequires: ninja BuildRequires: pkgconfig @@ -75,6 +79,9 @@ %build %define __builder ninja +%if 0%{suse_version} < 1600 +export CXX=g++-13 +%endif %cmake \ -DPYTHON_EXECUTABLE=%{_bindir}/python3 \ -DZ3_BUILD_LIBZ3_SHARED=true \
