0000285: jessie problem - Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ] [ Related Changesets ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000285

Frama-C

Plug-in > jessie

public

2009-10-14 11:18

2014-02-12 16:56

Reporter

chen

Assigned To

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Frama-C Beryllium-20090901

Target Version

Fixed in Version

Frama-C Beryllium-20090902

Summary

0000285: jessie problem

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
---------------------------------------------------------------------------------

Tags

No tags attached.

Attached Files

Relationships

Notes
(0000452) signoles (manager) 2009-10-14 11:32	From the frama-c-discuss mailing list (http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-October/001467.html [^]), the issue is solved on Beryllium-20090902 + Why 2.20. At this day, there is no binary version of why 2.20 on Windows OS. Thus you have either to install why 2.20 from sources or to wait a binary version (don't know when it will be released).

Issue History
Date Modified	Username	Field	Change
2009-10-14 11:18	chen	New Issue
2009-10-14 11:32	signoles	Note Added: 0000452
2009-10-14 11:32	signoles	Status	new => closed
2009-10-14 11:32	signoles	Resolution	open => fixed
2009-10-14 11:32	signoles	Fixed in Version	=> Frama-C Beryllium 2