[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 10:23:17 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 #42 from Richard W.M. Jones <rjones at redhat.com> 2010-07-19 06:23:16 EDT ---
(In reply to comment #41)
> 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.    

Is this a regression of bug 462651 I wonder?

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