--- layout: fc_discuss_archives title: Message 17 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



Hello,
I am trying to expand macro definitions within ACSL annotations using the 
pp-annot option. Unfortunately, I get an error on processing standard 
include files:

 	 [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.

I have used the following command:

   frama-c -cpp-extra-args="-I /usr/share/frama-c/libc" -pp-annot -wp -wp-rte

How can I fix this?
Thanks in advance
Frank