--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on October 2008 ---
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