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