--- layout: fc_discuss_archives title: Message 115 from Frama-C-discuss on May 2010 ---
> 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.