--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on February 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] why-2.28/frama-c-plugin doesn't compile



Hello Boris,

Le mar. 08 f?vr. 2011 07:08:55 CET,
Boris Hollas <hollas at informatik.htw-dresden.de> 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