Problem with the "-main" option
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 ""
1 ""
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"