--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compiling the gui with gtkSourceView 2.0



Hi everybody. Here is a message from Alan who has problems compiling the
gui. Do you have a solution?
- Yannick

I would be very interested in switching to Frama-C to do this work,
but I've had trouble getting the gui to compile. From what I
understand (though this could be incorrect), the problem may be caused
by the fact that the program uses gtkSourceView 1.0, though
gtkSourceView 2.0 is a now a part of the main LablGTK trunk. If
there's a way to work around this that I might not be aware of I would
appreciate knowing.

- Alan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081006/94dd5480/attachment.html