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

  • Subject: [Frama-c-discuss] Another small item for next release
  • From: shap at eros-os.com (Jonathan S. Shapiro)
  • Date: Wed Jun 18 19:39:38 2008
  • In-reply-to: <20080618101847.1e05ec4f@is005115>
  • References: <1213705907.20550.9.camel@shaptop.om-md.eros-os.com> <20080618101847.1e05ec4f@is005115>
Virgile:

Thank you. So do I understand correctly that simultaneous installation
of frama-c-20080502 and why-2.13 should not lead to compatibility
problems?

Wouldn't renaming the distribution of Why+Jessie in Frama-C make sense
to avoid future issues?

shap

On Wed, 2008-06-18 at 10:18 +0200, Virgile Prevosto wrote:
> 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.
>