--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on March 2014 ---
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