--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE : [Frama-c-discuss] Compiling the gui with gtkSourceView 2.0



Hi,

The Frama-C and the Why teams are aware of these installations problems.
To clarify the situation : the version of Why delivered with Frama-C is not a forked version. 
This is a snapshot made out of the revision control system of Why at the exact time of the release
of Frama-C. 
 
The next release of Frama-C will provide different options: 
- Use the existing Why version if it's version number is compatible
- Install Why together with Frama-C but to a Frama-C specific path, avoiding
  to overwrite potential exisiting Why installation.

I hope this will solve all issues regarding these installation problems.

By the way the Frama-C Godi package implements the first option.

Anyway the Jessie plugin of the Helium version is in its very early stage.
You may prefer to wait for the Frama-C Lithium version.
It shall be made public before the end of october.
  
Cheers,
Benjamin Monate