--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on October 2008 ---
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