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.