cbmc failed to build from source in Fedora rawhide/f35
For details on the mass rebuild see:
Please fix cbmc at your earliest convenience and set the bug's status to
ASSIGNED when you start fixing it. If the bug remains in NEW state for 8 weeks,
cbmc will be orphaned. Before branching of Fedora 36,
cbmc will be retired, if it still fails to build.
For more details on the FTBFS policy, please visit:
Created attachment 1807246 [details]
file build.log too big, will only attach last 32768 bytes
Created attachment 1807247 [details]
file root.log too big, will only attach last 32768 bytes
Created attachment 1807248 [details]
your package has an open Fails To Build From Source bug for Fedora 35.
Action is required from you.
If you can fix your package to build, perform a build in koji, and either create
an update in bodhi, or close this bug without creating an update, if updating is
not appropriate . If you are working on a fix, set the status to ASSIGNED to
acknowledge this. If you have already fixed this issue, please close this Bugzilla report.
Following the policy for such packages , your package will be orphaned if
this bug remains in NEW state more than 8 weeks (not sooner than 2021-09-23).
A week before the mass branching of Fedora 36 according to the schedule ,
any packages not successfully rebuilt at least on Fedora 34 will be
retired regardless of the status of this bug.
dist-git commit: https://src.fedoraproject.org/rpms/cbmc/c/80659975fe78861a95726b74de25d3411120c2c0?branch=rawhide