--- layout: fc_discuss_archives title: Message 120 from Frama-C-discuss on May 2010 ---
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, -- E tutto per oggi, a la prossima volta. Virgile