--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on March 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)



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