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] why-2.28/frama-c-plugin doesn't compile

  • Subject: [Frama-c-discuss] why-2.28/frama-c-plugin doesn't compile
  • From: virgile.prevosto at (Virgile Prevosto)
  • Date: Tue, 8 Feb 2011 09:49:17 +0100
  • In-reply-to: <1297145335.1507.42.camel@iti27>
  • References: <1297145335.1507.42.camel@iti27>

Hello Boris,

Le mar. 08 f?vr. 2011 07:08:55 CET,
Boris Hollas <hollas at> a ?crit :

> As directed in INSTALL_WITH_WHY, I first compiled and installed
> frama-c-Carbon-20110201. However, why didn't compile:

Thanks for being so prompt to try out our new release, without even
waiting for the official announcement on this mailing list ;-). As it
happens from time to time, frama-c-Carbon-20110201 has seen some
changes that makes frama-c-plugin of Why 2.28 incompatible with it. Why
2.29 should been out soon to correct that, but currently you should
stick with Carbon beta2 and Why 2.28.

Best regards,
Virgile Prevosto
Ing?nieur-Chercheur, CEA, LIST
Laboratoire de S?ret? des Logiciels
+33/0 1 69 08 82 98