Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.

Bug 1106109

Summary: cvc4: FTBFS in rawhide
Product: [Fedora] Fedora Reporter: Dennis Gilmore <dennis>
Component: cvc4Assignee: Jerry James <loganjerry>
Status: CLOSED RAWHIDE QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 22CC: loganjerry
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2015-03-12 20:43:50 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:    
Bug Blocks: 1105908    
Attachments:
Description Flags
build.log
none
root.log
none
state.log none

Description Dennis Gilmore 2014-06-09 03:12:43 UTC 
Your package cvc4 failed to build from source in current rawhide.

http://koji.fedoraproject.org/koji/taskinfo?taskID=6948938

For details on mass rebuild see https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
Comment 1 Dennis Gilmore 2014-06-09 03:12:46 UTC 
Created attachment 903904 [details]
build.log
Comment 2 Dennis Gilmore 2014-06-09 03:12:49 UTC 
Created attachment 903905 [details]
root.log
Comment 3 Dennis Gilmore 2014-06-09 03:12:50 UTC 
Created attachment 903906 [details]
state.log
Comment 4 Jaroslav Reznik 2015-03-03 15:54:15 UTC 
This bug appears to have been reported against 'rawhide' during the Fedora 22 development cycle.
Changing version to '22'.

More information and reason for this action is here:
https://fedoraproject.org/wiki/Fedora_Program_Management/HouseKeeping/Fedora22
Comment 5 Jerry James 2015-03-12 20:43:50 UTC 
Well, that only took most of a year to track down.  Fixed in Rawhide and F22.