--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on November 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Why missing in Frama-C-Beryllium-20090902 Windows binary distribution



Hello Boris,
Le mar. 03 nov. 2009 15:10:17 CET,
"Hollas Boris (CR/AEY1)" <Boris.Hollas at de.bosch.com> a ?crit :

> Which of the version for windows include why and Jessie?
> 

This the main difference between Frama-C Beryllium 20090901 + Why 2.19
and Frama-C Beryllium 20090902 + Why 2.21. The jessie plugin is now
part of Why (where it is called frama-c-plugin). Both possibilities
mentioned by Julien thus include the jessie plugin, but it has to be
compiled from sources, as the whole Why distribution. Using the Frama-C
binary distribution will in addition ensure you that lablgtk2 gets
installed too, so that you'll be able to use gwhy.

HTH,
-- 
E tutto per oggi, a la prossima volta.
Virgile