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