From: Lipeng W. <lip...@gm...> - 2012-04-27 21:53:24
|
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 -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 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", line 49, characters 23-28 Called from file "src/frontc/frontc.ml", line 129, characters 2-1318 Called from file "src/frontc/frontc.ml", line 256, characters 13-32 Called from file "src/frontc/frontc.ml", line 264, characters 32-55 Called from file "src/main.ml", line 60, characters 12-28 Called from file "ocamlutil/util.ml", line 211, characters 12-15 Called from file "src/main.ml", line 226, characters 18-66 Called from file "src/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 |
From: Vinai S. <vin...@gm...> - 2012-04-28 05:24:15
|
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. |