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

[Frama-c-discuss] jessie problem



hi, everyone

Recently, I install the frama-c in window XP and I've also installed cygwin.
The env path is:
FRAMAC_LIB=F:\Frama-C\lib\frama-c
FRAMAC_SHARE=F:\Frama-C\share\frama-c
WHYLIB=F:\Frama-C\share\frama-c\why
and my cygwin is installed in E:\cygwin, when I type "frama-c -jessie
first.c" in cygwin, some error occurs, here is the screenshot.
--------------------------------------------------------------------------------------------------
$ frama-c -jessie first.c
[kernel] preprocessing with "gcc -C -E -I. -dD first.c"
[jessie] Starting Jessie translation
[jessie] Producting Jessie files in subdir first.jessie
[jessie] File first.jessie/first.jc written.
[jessie] File first.jessie/first.cloc written.
[jessie] Calling Jessie tool in subdir first.jessie
File "first.jc", line 7, characters 18-19: syntax error
[jessie] user error: Jessie subprocess failed:    jessie   -why-opt
-split-user-conj -v   -locs first.cloc first.jc
--------------------------------------------------------------------------------------------------

Can anybody help to slove it?

Best Regards,
Chen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091014/4b73c8a5/attachment.htm