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