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 992043

Summary:	cbmc: FTBFS in rawhide
Product:	[Fedora] Fedora	Reporter:	Dennis Gilmore <dennis>
Component:	cbmc	Assignee:	Shakthi Kannan <shakthimaan>
Status:	CLOSED ERRATA	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	20	CC:	shakthimaan
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:	cbmc-4.3-7.20130515svn.fc20	Doc Type:	Bug Fix
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2013-09-19 02:05:10 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:	993551, 991858

Description Dennis Gilmore 2013-08-05 03:09:13 UTC

Your package cbmc failed to build from source in current rawhide.

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

Build logs:
root.log: http://kojipkgs.fedoraproject.org/work/tasks/482/5700482/root.log
build.log: http://kojipkgs.fedoraproject.org/work/tasks/482/5700482/build.log
state.log: http://kojipkgs.fedoraproject.org/work/tasks/482/5700482/state.log
NOTE: build logs are cleaned up after 1 week

For details on mass rebuild see https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild

Comment 1 Fedora Update System 2013-09-10 11:07:50 UTC

cbmc-4.3-7.20130515svn.fc19 has been submitted as an update for Fedora 19.
https://admin.fedoraproject.org/updates/cbmc-4.3-7.20130515svn.fc19

Comment 2 Fedora Update System 2013-09-10 11:08:05 UTC

cbmc-4.3-7.20130515svn.fc20 has been submitted as an update for Fedora 20.
https://admin.fedoraproject.org/updates/cbmc-4.3-7.20130515svn.fc20

Comment 3 Fedora Update System 2013-09-10 11:08:15 UTC

cbmc-4.3-7.20130515svn.fc18 has been submitted as an update for Fedora 18.
https://admin.fedoraproject.org/updates/cbmc-4.3-7.20130515svn.fc18

Comment 4 Fedora Update System 2013-09-10 16:21:54 UTC

Package cbmc-4.3-7.20130515svn.fc20:
* should fix your issue,
* was pushed to the Fedora 20 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing cbmc-4.3-7.20130515svn.fc20'
as soon as you are able to.
Please go to the following url:
https://admin.fedoraproject.org/updates/FEDORA-2013-16248/cbmc-4.3-7.20130515svn.fc20
then log in and leave karma (feedback).

Comment 5 Fedora End Of Life 2013-09-16 17:09:35 UTC

This bug appears to have been reported against 'rawhide' during the Fedora 20 development cycle.
Changing version to '20'.

More information and reason for this action is here:
https://fedoraproject.org/wiki/BugZappers/HouseKeeping/Fedora20

Comment 6 Fedora Update System 2013-09-19 02:05:10 UTC

cbmc-4.3-7.20130515svn.fc19 has been pushed to the Fedora 19 stable repository.  If problems still persist, please make note of it in this bug report.

Comment 7 Fedora Update System 2013-09-19 02:05:38 UTC

cbmc-4.3-7.20130515svn.fc18 has been pushed to the Fedora 18 stable repository.  If problems still persist, please make note of it in this bug report.

Comment 8 Fedora Update System 2013-09-23 00:11:14 UTC

cbmc-4.3-7.20130515svn.fc20 has been pushed to the Fedora 20 stable repository.  If problems still persist, please make note of it in this bug report.