Bug 1606675

Summary: why3: FTBFS in Fedora rawhide
Product: [Fedora] Fedora Reporter: Mohan Boddu <mboddu>
Component: why3Assignee: Jerry James <loganjerry>
Status: CLOSED NEXTRELEASE QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 29CC: loganjerry
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: If docs needed, set a value
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2019-02-19 16:24:20 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Bug Depends On: 1596974, 1599015    
Bug Blocks: 1602938    
Attachments:
Description Flags
build.log
none
root.log
none
state.log none

Description Mohan Boddu 2018-07-20 21:09:21 UTC 
why3 failed to build from source in Fedora rawhide

https://koji.fedoraproject.org/koji/taskinfo?taskID=28239484


For details on the mass rebuild see:

https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Please fix why3 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,
why3 will be orphaned. Before branching of Fedora 30,
why3 will be retired, if it still fails to build.

For more details on the FTBFS policy, please visit:
https://fedoraproject.org/wiki/Fails_to_build_from_source
Comment 1 Mohan Boddu 2018-07-20 21:09:33 UTC 
Created attachment 1468949 [details]
build.log

file build.log too big, will only attach last 32768 bytes
Comment 2 Mohan Boddu 2018-07-20 21:09:37 UTC 
Created attachment 1468950 [details]
root.log

file root.log too big, will only attach last 32768 bytes
Comment 3 Mohan Boddu 2018-07-20 21:09:42 UTC 
Created attachment 1468951 [details]
state.log
Comment 4 Jerry James 2018-07-25 19:10:42 UTC 
This is most easily fixed by upgrading, but that requires upgrading coq, which means that antlr4 has to be upgraded and provide its python 3 runtime library.  Adding dependencies on the relevant antlr4 bugs.
Comment 5 Jan Kurik 2018-08-14 11:02:55 UTC 
This bug appears to have been reported against 'rawhide' during the Fedora 29 development cycle.
Changing version to '29'.
Comment 6 Jerry James 2019-02-19 16:24:20 UTC 
Built in Rawhide.