| View Issue Details [ Jump to Notes ] [ Related Changesets ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000374 | Frama-C | Graphical User Interface | public | 2010-01-18 14:52 | 2014-02-12 16:56 |
|
| Reporter | pherrmann | |
| Assigned To | signoles | |
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | Frama-C GIT, precise the release id | |
| Target Version | | Fixed in Version | Frama-C Boron-20100401 | |
|
| Summary | 0000374: "-cpp-command ..." parameter lost |
| Description | (release id 7362)
The kernel parameter "-cpp-command" is lost when creating new projects.
In GUI : set "-cpp-command" parameter (either through command-line, or using "Ctrl-R/kernel/Customizing Normalization") in order to point to Frama-C "libc" directory.
Create a new Projet and select file "need_builtin.c" (attached) : preprocessing is OK.
Check "cpp-command" parameter value with "Ctrl-R" : it has become blank.
Create a new Project and select file "need_builtin.c" : preprocessing fails.
|
| Additional Information | The attached archive also contains the journalization file. |
| Tags | No tags attached. |
|
| Attached Files |  bugParams.tar.gz [^] (914 bytes) 2010-01-18 14:52 |
|
Relationships 
Relationships