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

[Frama-c-discuss] Unknows Pragma



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