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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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@xxxxxxxxxxxx> 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.
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review

[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]