[Bug 564520] 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=564520

--- Comment #18 from Mark Rader <msrader at gmail.com> 2010-04-29 20:37:57 EDT ---
Well I got the package to build successfully and build the SRPMS, and RPMS.  I
have used the rpmlint tool on all of the packages with the following result.

rpmlint frama-c.spec ../RPMS/x86_64/frama-c-1.4-1.fc12.x86_64.rpm
../RPMS/x86_64/frama-c-devel-1.4-1.fc12.x86_64.rpm
../SRPMS/frama-c-1.4-1.fc12.src.rpm

frama-c.spec:111: W: make-check-outside-check-section # make tests | grep
--silent "Ok  = 1579 of 1581"

frama-c.x86_64: W: invalid-license QPL with modifications

frama-c.x86_64: W: unstripped-binary-or-object /usr/bin/frama-c
frama-c.x86_64: W: unstripped-binary-or-object /usr/bin/frama-c-gui
frama-c.x86_64: W: unstripped-binary-or-object /usr/bin/frama-c.byte
frama-c.x86_64: W: unstripped-binary-or-object /usr/bin/frama-c-gui.byte
frama-c.x86_64: W: unstripped-binary-or-object
/usr/lib64/frama-c/plugins/Ltl_to_acsl.cmxs

frama-c-devel.x86_64: W: spelling-error %description -l en_US plugins -> plug
ins, plug-ins, plugging

frama-c-devel.x86_64: W: invalid-license QPL with modifications
frama-c-devel.x86_64: W: no-documentation

frama-c.src: W: invalid-license QPL with modifications
frama-c.src:111: W: make-check-outside-check-section # make tests | grep
--silent "Ok  = 1579 of 1581"

The first warning should be easy to fix and that should also fix the last
warning.  We need to check out the license issues so that should help.  Does
anyone have an idea what the stripped-binary-or-object error is caused by and
how to fix it, or is it even an issue.

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