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

  • Subject: [Frama-c-discuss] Compiling the gui with gtkSourceView 2.0
  • From: yannick.moy at (Yannick Moy)
  • Date: Mon Oct 6 12:42:20 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...