Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

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

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