--- layout: fc_discuss_archives title: Message 67 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c installation issue on Vista?



I have a very simple C file t.c which contains:

int main()
{
   int i = 0;
   return i;
}

When I run jessie on this, I get the following error:

bash-3.2$ frama-c -jessie-analysis t.c
Parsing
[preprocessing] running gcc -C -E -I. -include 
C:\Frama-C\share\frama-c\jessie\j
essie_prolog.h -dD t.c
Cleaning unused parts
Symbolic link
Starting semantical analysis
Starting Jessie translation
Producing Jessie files in subdir t.jessie
File t.jessie/t.jc written.
File t.jessie/t.cloc written.
Calling Jessie tool in subdir t.jessie
File "t.jc", line 7, characters 18-19: syntax error
Jessie subprocess failed:    jessie  -why-opt -split-user-conj  -v -locs 
t.cloc t.jc

What could be causing this?

Thanks and Regards
Ravi
=====-----=====-----=====
Notice: The information contained in this e-mail
message and/or attachments to it may contain 
confidential or privileged information. If you are 
not the intended recipient, any dissemination, use, 
review, distribution, printing or copying of the 
information contained in this e-mail message 
and/or attachments to it are strictly prohibited. If 
you have received this communication in error, 
please notify us by reply e-mail or telephone and 
immediately and permanently delete the message 
and any attachments. Thank you


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100423/ecbfedc7/attachment.htm>