The CIL_MACHINE variable defines the size of variables used by the 
architecture you are compiling for.

For avr architectures, I use the following.

CIL_MACHINE="bool=1,1 short=2,1 int=2,1 long=4,1 long_long=8,1 float=4,1 
double=4,1 long_double=4,1 void=1 pointer=2,1 enum=2,1 fun=1,1 
alignof_string=1 max_alignment=1 size_t=unsigned_int 
wchar_t=unsigned_int char_signed=true big_endian=false 
const_string_literals=true __thread_is_keyword=false 
__builtin_va_list=true underscore_name=true"

Hope this helps,
Vinai.

On 4/27/2012 5:53 PM, Lipeng Wan wrote:
> Hi guys,
>
> I am trying to use CIL to instrument C code generated by nesC compiler,
> but when I run this command:
>
> cilly --gcc=avr-gcc --envmachine -mmcu=atmega128 -Os -Wall
> --save-temps=tmp/ --noPrintLn --dotinytracersimple -g
> --nescconfigs=oscil.config --tracerfuncs=CFTracerC__CFTrace__recordLabel
> --procmaps=oscil.pm <http://oscil.pm> -o oscilexe build/mica2/app.c >
> oscilout
>
> I got the following error information:
>
> avr-gcc -D_GNUCC -E -mmcu=atmega128 -Os -g -DCIL=1 build/mica2/app.c -o
> tmp/app.i
> /home/lwan1/Projects/TinyTracer/cil/obj/x86_LINUX/cilly.byte.exe --out
> tmp/app.cil.c --envmachine --warnall --noPrintLn --dotinytracersimple
> --nescconfigs oscil.config --tracerfuncs CFTracerC__CFTrace__recordLabel
> --procmaps oscil.pm <http://oscil.pm> tmp/app.i
> Error: CIL_MACHINE environment variable is not set
> Error: There were parsing errors in tmp/app.i
> Fatal error: exception Errormsg.Error
> Raised at file "ocamlutil/errormsg.ml <http://errormsg.ml>", line 49,
> characters 23-28
> Called from file "src/frontc/frontc.ml <http://frontc.ml>", line 129,
> characters 2-1318
> Called from file "src/frontc/frontc.ml <http://frontc.ml>", line 256,
> characters 13-32
> Called from file "src/frontc/frontc.ml <http://frontc.ml>", line 264,
> characters 32-55
> Called from file "src/main.ml <http://main.ml>", line 60, characters 12-28
> Called from file "ocamlutil/util.ml <http://util.ml>", line 211,
> characters 12-15
> Called from file "src/main.ml <http://main.ml>", line 226, characters 18-66
> Called from file "src/main.ml <http://main.ml>", line 290, characters 4-15
>
> What should I do to set the CIL_MACHINE environment variable?
> I really need your helps.
> Thanks.
>
> Lipeng
>
>
> This body part will be downloaded on demand.
>
>
>
> This body part will be downloaded on demand.

------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to