[Bug 592579] Review Request: Frama-c - Framework for source code analysis of C software

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=592579

--- Comment #23 from Mark Rader <msrader at gmail.com> 2010-06-06 16:51:29 EDT ---
David

Well everything now builds up to Fedora Core 14.  The output from Koji is as
follows.

[rader at tpath3 SRPMS]$ koji build --scratch dist-f14 frama-c-1.4-3.fc12.src.rpm 
Uploading srpm: frama-c-1.4-3.fc12.src.rpm
[====================================] 100% 00:01:16  18.84 MiB 251.69 KiB/sec
Created task: 2233790
Task info: http://koji.fedoraproject.org/koji/taskinfo?taskID=2233790
None
Watching tasks (this may be safely interrupted)...
2233790 build (dist-f14, frama-c-1.4-3.fc12.src.rpm): free
2233790 build (dist-f14, frama-c-1.4-3.fc12.src.rpm): free -> open
(x86-04.phx2.fedoraproject.org)
  2233792 buildArch (frama-c-1.4-3.fc12.src.rpm, i686): free
  2233791 buildArch (frama-c-1.4-3.fc12.src.rpm, x86_64): open
(x86-04.phx2.fedoraproject.org)
  2233792 buildArch (frama-c-1.4-3.fc12.src.rpm, i686): free -> open
(xb-01.phx2.fedoraproject.org)
  2233791 buildArch (frama-c-1.4-3.fc12.src.rpm, x86_64): open
(x86-04.phx2.fedoraproject.org) -> closed
  0 free  2 open  1 done  0 failed
  2233792 buildArch (frama-c-1.4-3.fc12.src.rpm, i686): open
(xb-01.phx2.fedoraproject.org) -> closed
  0 free  1 open  2 done  0 failed
2233790 build (dist-f14, frama-c-1.4-3.fc12.src.rpm): open
(x86-04.phx2.fedoraproject.org) -> closed
  0 free  0 open  3 done  0 failed

2233790 build (dist-f14, frama-c-1.4-3.fc12.src.rpm) completed successfully

So we are well on the way with the technical part.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.