--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on June 2010 ---
Hi I got the command to work. But obviously I have several other pragmas that should be ignored. Seems like I will need the perlscript anyway. Does anybody know how to write the perlscript that Pascal was talking about? And how to use? best regards, On 31.5.2010 13:45, Virgile Prevosto wrote: > Hello, > > Le lun. 31 mai 2010 13:23:02 CEST, > Patrik Nylund<patrik.nylund at tke.fi> a ?crit : > > >> I downloaded the last frama-c source and added the patch, make and >> installed. >> >> But using the option example is giving me some errors I can not solve >> (quite new to linux bash and pipes :) ) >> >> MyCommand: >> frama-c -cpp-command "gcc -C -E -I.< %1 | grep -v pragma\ LINK_INFO> >> %2" -val HC12DIN.c >> >> > The -cpp-command proposed by Pascal contained an additional dash, as in: > > gcc -C -E -I. -< %1 | ... > > '-' tells gcc to read from standard input and write the result on > standard output (so that we can feed grep with it). > > Hope this helps, >