See https://github.com/Z3Prover/z3/releases/tag/z3-4.8.15 for changes in version 4.8.15.
sudo dnf upgrade --refresh --advisory=FEDORA-2022-75a61c636e
This update has been submitted for testing by jjames.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
Remark: Build of cppcheck 2.7.3, which uses z3, fails on i686 since z3-4.8.15-1
Huh. A local mock build succeeded: mock -r fedora-rawhide-i386 --rebuild cppcheck-2.7.3-2.fc37.src.rpm. I verified that z3 4.8.15-1 was pulled into the buildroot. I'm not sure what is going on here.
mock -r fedora-rawhide-i386 --rebuild cppcheck-2.7.3-2.fc37.src.rpm
z3 has been disabled in the current 2.7.3-2 cppcheck.spec file for i686 builds:
It looks like you got a good build in koji, too. So ... there's nothing to do here, then?
Oh, okay. Let me undo that and try again.
jjames edited this update.
Karma has been reset.
The issue has been reported upstream. I've added a patch to work around the problem. Upstream may ultimately choose another solution, but this one works.
Thanks for reporting the issue upstream and adding the patch.
This update has been submitted for stable by bodhi.
This update has been pushed to stable.
Please login to add feedback.
Confirm request to re-trigger tests.
Copyright © 2007-2022 Red Hat, Inc. and
bodhi-server 6.0.1 on
bodhi is Free Software.
if you have any problems. Read the documentation.