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]

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