frama-c failed to build from source in Fedora rawhide/f31
For details on the mass rebuild see:
Please fix frama-c 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,
frama-c will be orphaned. Before branching of Fedora 32,
frama-c will be retired, if it still fails to build.
For more details on the FTBFS policy, please visit:
Created attachment 1596138 [details]
Created attachment 1596139 [details]
file root.log too big, will only attach last 32768 bytes
Created attachment 1596140 [details]
Fixed in Rawhide.