--- layout: fc_discuss_archives title: Message 115 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Unknows Pragma



> Use the option:
>
> -cpp-command "gcc -C -E -I. - < %1 ?| grep -v pragma\ LINK_INFO > %2"
>
> in addition to what you were already doing.

Actually this is not perfect, since it will mess up the localization
(when you respect the rules for pre-processing, most interactions
with Frama-C are localized with respect to the original source code).

It would be better to replace the "#pragma LINK_INFO ..." lines with
empty lines rather than suppress them. I think a 3-line Perl script
could do that, but I didn't reach 2010 without learning Perl to start
learning it now.
Any taker for this most interesting sub-problem?

Pascal

PS: while you're at it, write a script that accepts the
script inputfile -o outputfile
syntax, because that's the only syntax recognized for -cpp-command
in the distributed binary versions of Frama-C.