--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on March 2010 ---
Le mer. 31 mars 2010 09:31:54 CEST, aintest3f aintest3l <aintest3 at gmail.com> a ?crit : > you may set the CPP environment variable to select the > proper preprocessor command or use the option "-cpp-command". > [kernel] user error: skipping file "/Users/ans/first.c" that has errors. > [kernel] Plugin kernel aborted because of invalid user input(s). > In fact, what is needed here is some pre-processor, not the whole gcc suite. As the error message says, you can change the default one (gcc) by setting the CPP environment variable or by explicitly giving a replacement command with the -cpp-command option (the exact syntax being documented in the user manual at http://frama-c.com/download/user-manual-Beryllium-20090902.pdf). Note that if your file does not contain any macro or other pre-processing directive, you can rename it 'first.i'. With the .i suffix, Frama-C will consider that the file has already been pre-processed, and will thus skip this phase, proceeding directly with parsing and type-checking. Of course, you can also create first.i by an external call to a pre-processor of your choice. Hope this helps, -- E tutto per oggi, a la prossima volta. Virgile