ID0000279: **This issue was created automatically from Mantis Issue 279. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000279 | Frama-C | Kernel | public | 2009-10-09 | 2009-10-12 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | cbenkimoun | **Assigned To** | monate | **Resolution** | no change required | | **Priority** | normal | **Severity** | block | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Beryllium-20090902 | **Target Version** | - | **Fixed in Version** | Frama-C Beryllium-20090902 | ### Description : I've just installed Frama-c on my computer. I try to run the first.c example which is available on your web site. I've got an error concerning the -main option. Here is the output: " [kernel] preprocessing with "C:\Cygwin\bin\gcc-3.exe -CC -E -I toto.c" # 1 "toto.c" # 1 "<built-in>" # 1 "<command line>" # 1 "toto.c" int S=0; int T[5]; int main (void) { int i; int *p = &T[0] ; for (i=0; i<5; i++) { S = S+i; *p++ = S; } return S; } [kernel] user error: Could not find entry point: main " I don't know what to do because there is a "main" function in my example. I tried the -lib-entry option as well but without success... Could you please help me? Many thanks. Cyril. ### Additional Information : Running on Windows Vista. Using cygwin gcc (PPC = "C:\Cygwin\bin\gcc-3.exe -CC -E -I"