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

bugzilla at redhat.com bugzilla at redhat.com
Mon Jul 19 02:23:24 UTC 2010


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 #41 from Mark Rader <msrader at gmail.com> 2010-07-18 22:23:23 EDT ---
David

Per your comment, "This version of Frama-C is not the current version.  If it'd
be trivial to
upgrade it to the current version, I think the *current* version would be best.
 But if that's non-trivial, this version is a great place to start.  Would that
upgrade be trivial, or not?"  It is definitely non trivial.  Let me explain so
that we can document.  

I tried to perform a substitution for the package just as a sanity check.  It
error'ed on the strip of frama-c and frama-c-gui.  On checking these had not
built.  I thne tried to do a manual build and no jou.  They still did not
build.  I next tried to force a build and got the following confiuration error.

 checking for /usr/lib64/ocaml/dynlink.cmxa... yes
checking for lablgtk2's custom tree model... yes
configure: *************************************
configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
configure: *************************************
configure: WARNING: ltl2ba not found.
configure: WARNING: aorai partially enabled because ltl2ba missing.
configure: WARNING: lablgtksourceview2.cmxa not found
configure: error: gui requested but
/usr/lib64/ocaml/lablgtk2/lablgtksourceview2.cmxa missing.


The missing file is part of OCAML.  Particularly it is part of LABLGTK, however
it is part of lablgtk2 which has not been packaged so we will need to request
it be packaged, package it ourselves or find some solution.  I dont know what
else may be missing but the newer version is looking at some effort.

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



More information about the package-review mailing list