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

[Frama-c-discuss] Error on using pp-annot



Thanks for this very fast repsonse. I have tried it with this command now:

 	frama-c -cpp-extra-args="-nostdinc" -cpp-extra-args="-I `frama-c 
-print-share-path`/libc" -pp-annot -wp -wp-rte constant.c

There are no more warnings now (I skipped these in my previus posting), 
but unfortunately the error remains:

[kernel] preprocessing with "gcc -C -E -I. -I /usr/share/frama-c/libc 
-nostdinc -dD constant.c"
/usr/include/stdc-predef.h:1:[kernel] user error: unexpected token '/'
[kernel] user error: skipping file "constant.c" that has errors.
[kernel] Frama-C aborted: invalid user input.

Is there still a mistake in the command?
Thanks in advance
Frank

On Sun, 30 Mar 2014, Pascal Cuoq wrote:

> 
> 
> 
> On Sun, Mar 30, 2014 at 9:57 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:
>
>       frama-c?-cpp-extra-args=-nostdinc -cpp-extra-args=`frama-c
>       -print-share-path`/libc .....
> 
> 
> ... where I forgot the necessary -I before `frama-c -print-share-path`/libc.
> Anyway, you already had that part of the commandline. The only thing you
> were missing was -nostdinc, to prevent your compiler to search (and find)
> the host computer's standard headers first.
> 
> 
>

Frank Dordowsky
S?ntisstr. 37
81825 M?nchen
E-Mail: frank at dordowsky.de