--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on October 2011 ---
Hi, Thanks for reporting the problem. It would be very kind of you if could submit a bug report *and* provide the cc.mlw file (and even the cc.c file if possible) Otherwise I don't see what could I do to understand the problem (and hopefully solve it afterwards). - Claude Le 27/10/2011 10:14, Boris Hollas a ?crit : > 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 > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -------------- section suivante -------------- Une pi?ce jointe HTML a ?t? nettoy?e... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111027/03d1106d/attachment.htm>