Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Frama-c installation issue on Vista?
  • From: r.metta at tcs.com (R Metta)
  • Date: Fri, 23 Apr 2010 15:40:20 +0530
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>