--- layout: fc_discuss_archives title: Message 3 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



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              |