[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 #7 from Mark Rader <msrader at gmail.com> 2010-05-22 23:55:13 EDT ---
David

On further investigation, the jessie issue appears to be more of a problem with
why.  I will download the why source code and see if the jessie plugin gets
installed with a source compile.

I have fixed the two errors.  The one with selinux mainly required substituting
out a command.  All 3 files are now stripped so that is no longer a warning.

To be checked:

1.  Does everything still run.
2.  Legal issue.
3.  Is why supposed to install jessie.

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