| Description | I installed frama-c-boron-20100401 using windows binary installer under WIN7, then run it using cygwin as below:
/cygdrive/c/frama-c/bin
$ frama-c -cpp-command "gcc-4.exe -C -E -I." -jessie e:/max.c
the result was:
$ frama-c -cpp-command "gcc-4.exe -C -E -I." -jessie e:/max.c
[kernel] preprocessing with "gcc-4.exe -C -E -I. -dD e:/max.c"
[jessie] Starting Jessie translation
[jessie] Producing Jessie files in subdir e:/max.jessie
[jessie] File e:/max.jessie/max.jc written.
[jessie] File e:/max.jessie/max.cloc written.
[jessie] Calling Jessie tool in subdir e:/max.jessie
Generating Why function max
[jessie] Calling VCs generator.
gwhy-bin [...] why/max.why
Computation of VCs...
Computation of VCs done.
Reading GWhy configuration...
Loading .gwhyrc config file
Config file 'C:\cygwin\home\xiewenlong\.gwhyrc' does not exists, using default config
Why config file not found, please run why-config first.
max.makefile:126: recipe for target `max.stat' failed
make: *** [max.stat] Error 1
[jessie] user error: Jessie subprocess failed: make -f max.makefile gui
max.c
int max(int i, int j)
{
return (i < j) ? j : i;
}
Thanks |
Relationships 
Relationships