| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | 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 | ||||||
| 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 |
|
 Relationships |
| Notes |
|
|
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). |
| Notes |
| 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 |
| 2013-12-19 01:14 | signoles | Source_changeset_attached | => framac master ff975779 |
| 2014-02-12 16:56 | signoles | Source_changeset_attached | => framac stable/neon ff975779 |
| Issue History |