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 .