stable

z3-4.8.15-2.fc36

FEDORA-2022-75a61c636e created by jjames 2 years ago for Fedora 36

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2022-75a61c636e

This update has been submitted for testing by jjames.

2 years ago

This update's test gating status has been changed to 'ignored'.

2 years ago

This update has been pushed to testing.

2 years ago
User Icon c72578 commented & provided feedback 2 years ago

Remark: Build of cppcheck 2.7.3, which uses z3, fails on i686 since z3-4.8.15-1
Example Build:
https://koji.fedoraproject.org/koji/taskinfo?taskID=84611579

User Icon jjames commented & provided feedback 2 years ago

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.

User Icon c72578 commented & provided feedback 2 years ago

z3 has been disabled in the current 2.7.3-2 cppcheck.spec file for i686 builds:
https://src.fedoraproject.org/rpms/cppcheck/blob/rawhide/f/cppcheck.spec#_3

User Icon jjames commented & provided feedback 2 years ago

It looks like you got a good build in koji, too. So ... there's nothing to do here, then?

User Icon jjames commented & provided feedback 2 years ago

Oh, okay. Let me undo that and try again.

jjames edited this update.

New build(s):

  • z3-4.8.15-2.fc36

Removed build(s):

  • z3-4.8.15-1.fc36

Karma has been reset.

2 years ago

This update has been submitted for testing by jjames.

2 years ago
User Icon jjames commented & provided feedback 2 years ago

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.

User Icon c72578 commented & provided feedback 2 years ago

Thanks for reporting the issue upstream and adding the patch.

This update has been pushed to testing.

2 years ago

This update has been submitted for stable by bodhi.

2 years ago

This update has been pushed to stable.

2 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
3 days
Dates
submitted
2 years ago
in testing
2 years ago
in stable
2 years ago
modified
2 years ago
BZ#2066203 z3-4.8.15 is available
0
0

Automated Test Results