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

[Frama-c-discuss] New Why release 2.30



Hello,

I installed both why-2.30 and why3 along with Frama-C version
"Nitrogen", as suggested. A source file that worked with the previous
version of Frama-c/Jessie now produces

Error while reading file '../cc.mlw':
File "cc/../cc.mlw", line 4342, characters 10-13:
syntax error
make: *** [why3ml] Error 1
[jessie] user error: Jessie subprocess failed: make -f cc.makefile
why3ml

I use the command line frama-c -jessie -pp-annot.
-- 
Best regards, 
Boris Hollas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111027/c1ea4bed/attachment.htm>