[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 #6 from David A. Wheeler <dwheeler at dwheeler.com> 2010-05-22 14:41:32 EDT ---
The two *.byte files frama-c.byte and frama-c-gui.byte) don't work when
generated using the *current* process.  Stripping them won't make them *better*
:-).  If they can be fixed without much trouble, great, but otherwise, I don't
think we should package non-working files, and we should package the files for
the architectures where the OCaml compiler can produce machine code.  Most
people won't notice the omission of the .byte files, since x86s are the most
common architectures.

As for the license, I think it *MUST* be posted to fedora-legal, not merely a
*should*.  But I have every expectation that it'll be approved.

-- 
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.