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] Another small item for next release

Hello,

Le mar 17 jun 2008 08:31:47 CEST,
"Jonathan S. Shapiro" <shap@eros-os.com> a ?crit :

> This may be a stale issue, but the Frama-C notes indicate that the
> version of Why supported with Frama-C may overwrite the version used
> with Caduceus, and that the newest version of Why is not compatible with
> Frama-C.
> 

Yes, having two versions of why hanging around is an issue. That said,
the Frama-C documentation is a bit misleading. In fact, the jessie
plugin is heavily dependent upon why and requires a precise version of
why to work, but if the two release cycles are synchronized enough (as
this was the case for frama-c-20080502 and why-2.13), this should not be
an issue. The godi[1] package (apps-frama-c) is by default built
against the jc library provided by apps-why and not the local one.

-- 
E tutto per oggi, a la prossima volta.
Virgile
[1] http://godi.camlcity.org/godi/index.html