"-cpp-command ..." parameter lost
ID0000374: This issue was created automatically from Mantis Issue 374. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000374 | Frama-C | Graphical User Interface | public | 2010-01-18 | 2014-02-12 |
| Reporter | pherrmann | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | Frama-C Boron-20100401 |
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.