--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on February 2011 ---
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