[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

Mark Rader <msrader at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RELEASE_PENDING

--- Comment #49 from Mark Rader <msrader at gmail.com> 2010-07-28 10:36:03 EDT ---
1.  I tend to agree with you on the frama-c-Boron vs the older version but as
David noted the technical difficulties became greater than a simple switch and
sometimes it is better to get it out there than just keep trying to get the
latest and greatest.

2.  Since this has been put in the repository and is now available as a
package, I will see about changing this for the next version.

3.  Since this has been put in the repository and is now available as a
package, I will see about changing this for the next version.

4.  Since this has been put in the repository and is now available as a
package, I will see about changing this for the next version.  Actually frama-c
has both.  you have frama-c (command line) and frama-c-gui which is the gui.  

5.  Not as familiar with that command.  I will look into it.


(In reply to comment #47)
> Some suggestions:
> 
> 1. Why not package the latest version - frama-c-Boron-20100401 instead? 
> 
> 2.I think Development/Libraries should be changed to Development/Tools.
> 
> 3.
> %{_datadir}/applications should not be listed in %file, you need to use
> %{_datadir}/applications/*.desktop instead.
> 
> 4.
> I suggest to rename %{name}.desktop to %{name}-gui.desktop. Actually, frama-c
> is a command line tool.
> 
> 5.
> ExcludeArch: PPC, PPC64, ARM, IA64, MIPS, S390
> 
> I think you should use ExclusiveArch:  alpha armv4l %{ix86} ia64 x86_64 ppc
> sparc sparcv9 ppc64 instead to keep consistency with ocaml.

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