--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on October 2008 ---
Yannick Moy a ?crit : > 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. Frama-C indeed relies on GtkSourceView 1.x. The current Lablgtk trunk does not support gtkSourceView 2.0. I only added some very preliminary and non compilable #define to prepare its future support in the trunk. So unless you _manually_ defined HAS_GTKSOURCEVIEW21 in ml_gtksourceview.c the problem does not from the discrepancies between 1.x and 2.x GtkSourceView. Could you post more details on the mailing list so that we can help you? Cheers, -- | Benjamin Monate | mailto:benjamin.monate@cea.fr | | Ing?nieur-Chercheur | CEA-LIST/DRT/DTSI/SOL/LSL | | B?t. 528 Pt. 115a | 91191 Gif-sur-Yvette CEDEX | | T?l. 01 69 08 94 09 | Fax : 01 69 08 83 95 |