Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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