[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 #33 from Mark Rader <msrader at gmail.com> 2010-07-05 11:48:10 EDT ---
Spec URL: http://tpath3.dnsalias.net/openproofs/frama-c.spec
SRPM URL: http://tpath3.dnsalias.net/openproofs/frama-c-1.4-4.fc12.src.rpm
Description:Frama-C is a suite of tools dedicated to the analysis of the
source code of software written in C.

I have corrected a large number of issues pointed out by the reviewer.  The
program should now produce a file that will install on FC-13.  After running
RPMLINT I get:

rpmlint frama-c.spec ../SRPMS/frama-c-1.4-4.fc12.src.rpm
../RPMS/x86_64/frama-c-1.4-4.fc12.x86_64.rpm
../RPMS/x86_64/frama-c-devel-1.4-4.fc12.x86_64.rpm 
frama-c.src: W: invalid-license QPL with modifications
frama-c.x86_64: W: invalid-license QPL with modifications
frama-c-devel.x86_64: W: invalid-license QPL with modifications
frama-c-devel.x86_64: W: no-documentation
3 packages and 1 specfiles checked; 0 errors, 4 warnings.

The new warning is caused by removed duplicate documentation.  Since all
documentation was duplicated it causes the documentation section for the devel
RPM to become empty.  Its there but included in the base RPM.

I am starting a KOJI build now if it completes it is ready for a final review.

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