Can not add source files using Frama-c in Ubuntu 12.04
ID0001408: This issue was created automatically from Mantis Issue 1408. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001408 | Frama-C | Kernel | public | 2013-04-25 | 2013-06-11 |
| Reporter | Carlos | Assigned To | yakobowski | Resolution | unable to reproduce |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | - |
Description :
When I open the "Select C source files" via Files --> Source files I can add a file to the Source file(s) list. However when click OK, I got the error:
"Frama-C aborted because of invalid user input. Look at the console for additional information (if any)."
The console display:
"[kernel] preprocessing with "gcc -C -E -I. /home/ceftest/Desktop/MDP_DBG/MY_FILE.C" [kernel] user error: failed to run: gcc -C -E -I. -o '/tmp/MD_LEX.Ca68351.i' '/home/ceftest/Desktop/MDP_DBG/MY_FILEX.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/ceftest/Desktop/MDP_DBG/MY_FILE.C" that has errors."
From Terminal the gcc run without problem, anyway I tried with
frama-c-gui -cpp-command "/usr/bin/gcc -C -E -I." MY_FILE.C with the same result.
I also tried with
frama-c -cpp-command "/usr/bin/gcc -C -E -I." MY_FILE.C
with analog results.
I made the test also in clean installations:
Ubuntu 10.04 work fine
Ubuntu 12.04 the same problem
If there is any further information I can give you I will be glad to do so.
Thank you
Carlos