Re: [CIL users] Error: CIL_MACHINE environment variable is not set

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_str

[CIL users] Error: CIL_MACHINE environment variable is not set

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 -

Re: [CIL users] beginners questions

I have an OCaml program (WordCount.ml) which I am trying to add to src/ext/. 1. I modified cil's Makefile. added the name of my program to CILLY_LIBRARY_MODULES variable. (should I modify Makefile.in also?) 2. What should I add the cil.ml file to make it recognize my program.? 3. Should I add anyt

[CIL users] 回复: beginners questions

I am using CIL to write code transformation utilities. On windows, you can use cilly.bat to compile (unpreprocessed) C files directly with command arguments to enabling the required modules. However, I prefer using cilly.asm.exe or cilly.byte.exe which only accepts preprocessed files as input. I