cannot deal with many files
ID0000778: This issue was created automatically from Mantis Issue 778. Further discussion may take place here.
|Reporter||njucslzh||Assigned To||monate||Resolution||no change required|
|Product Version||Frama-C Carbon-20110201||Target Version||-||Fixed in Version||-|
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 .