jessie problem

ID0000285: This issue was created automatically from Mantis Issue 285. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000285	Frama-C	Plug-in > jessie	public	2009-10-14	2014-02-12

Reporter	chen	Assigned To	-	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	have not tried
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Beryllium-20090901	Target Version	-	Fixed in Version	Frama-C Beryllium-20090902

Description :

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