0001417: Config file 'C:\cygwin\home\xiewenlong\.gwhyrc' does not exists,

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001417

Frama-C

Plug-in > jessie

public

2013-05-08 08:39

Reporter

aogrcs

Assigned To

cmarche

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Platform

OS Version

Product Version

Frama-C Boron-20100401

Target Version

Fixed in Version

Summary

0001417: Config file 'C:\cygwin\home\xiewenlong\.gwhyrc' does not exists,

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

Issue History
Date Modified	Username	Field	Change
2013-05-08 08:39	aogrcs	New Issue
2013-05-08 08:39	aogrcs	Status	new => assigned
2013-05-08 08:39	aogrcs	Assigned To	=> cmarche

Relationships

Notes
There are no notes attached to this issue.