--- layout: fc_discuss_archives title: Message 37 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



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>