Bug 667975 - frama-c FTBFS in Rawhide
Summary: frama-c FTBFS in Rawhide
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: frama-c
Version: rawhide
Hardware: Unspecified
OS: Unspecified
low
medium
Target Milestone: ---
Assignee: Mark Rader
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2011-01-07 14:52 UTC by Richard W.M. Jones
Modified: 2011-01-21 19:15 UTC (History)
1 user (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2011-01-21 19:15:21 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)

Description Richard W.M. Jones 2011-01-07 14:52:34 UTC 
Description of problem:

For https://fedoraproject.org/wiki/Features/OCaml3.12 I attempted
to rebuild Frama-C.  However Frama-C in Rawhide is broken.  It
has a bogus 'sources' file which doesn't contain the correct
source file (contains "frama-c-Boron-20100401.tar.gz", requires
"frame-c-Berrylium-*").

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

Version-Release number of selected component (if applicable):

1.4-6
Comment 1 Richard W.M. Jones 2011-01-18 13:42:03 UTC 
Can you have a look at this?  It seems to be a very
obvious FTBFS bug which is holding up the OCaml 3.12
feature for F15.
Comment 2 Richard W.M. Jones 2011-01-21 19:15:21 UTC 
Fixed in Rawhide.
Note You need to log in before you can comment on or make changes to this bug.