Bug 1606675 - why3: FTBFS in Fedora rawhide
Summary: why3: FTBFS in Fedora rawhide
Keywords:
Status: CLOSED NEXTRELEASE
Alias: None
Product: Fedora
Classification: Fedora
Component: why3
Version: 29
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On: 1596974 1599015
Blocks: F29FTBFS
TreeView+ depends on / blocked
 
Reported: 2018-07-20 21:09 UTC by Mohan Boddu
Modified: 2019-02-19 16:24 UTC (History)
1 user (show)

Fixed In Version:
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2019-02-19 16:24:20 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)
build.log (32.00 KB, text/plain)
2018-07-20 21:09 UTC, Mohan Boddu 		no flags Details
root.log (32.00 KB, text/plain)
2018-07-20 21:09 UTC, Mohan Boddu 		no flags Details
state.log (611 bytes, text/plain)
2018-07-20 21:09 UTC, Mohan Boddu 		no flags Details
View All

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.
Note You need to log in before you can comment on or make changes to this bug.