cannot deal with many files
ID0000778: This issue was created automatically from Mantis Issue 778. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000778 | Frama-C | Documentation | public | 2011-04-08 | 2016-06-21 |
| Reporter | njucslzh | Assigned To | monate | Resolution | no change required |
| Priority | normal | Severity | block | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | - |
Description :
When I have many files which are in a project to analysis , it always cannot correctly preprocess them. Errors as follow:
[gui] warning: Frama-C images not found. Is FRAMAC_SHARE correctly set? [kernel] preprocessing with "gcc -C -E -I. /home/lzh/cvs-1.11.4/src/zlib.c" [kernel] user error: failed to run: gcc -C -E -I. -o '/tmp/zlib.c788cad.i' '/home/lzh/cvs-1.11.4/src/zlib.c' you may set the CPP environment variable to select the proper preprocessor command or use the option "-cpp-command". [kernel] user error: skipping file "/home/lzh/cvs-1.11.4/src/zlib.c" that has errors.
Additional Information :
For toy program with two or three simply files, I just change c files to i files directly , it works well. But in practical , this don't work. Can you show me how to preprocess and merge the Source Code files? It is described too little in user manual .