Re: [CIL users] adding extra #include using CIL

2009-10-26 Thread Misha Aizatulin
Benjamin Ylvisaker wrote: > On Oct 26, 2009, at 11:34 AM, Misha Aizatulin wrote: > >> It would be really nice if I could tell CIL not to remove some of the >> definitions, for instance by using an attribute. Any comments on that? > > Do you mean something other than the following? > > #pragma ci

Re: [CIL users] adding extra #include using CIL

2009-10-26 Thread Benjamin Ylvisaker
On Oct 26, 2009, at 11:34 AM, Misha Aizatulin wrote: > It would be really nice if I could tell CIL not to remove some of > the definitions, for instance by using an attribute. Any comments on > that? Do you mean something other than the following? #pragma cilnoremove("type sarray_t", "sarray

Re: [CIL users] adding extra #include using CIL

2009-10-26 Thread Misha Aizatulin
> Here is how we solve the very same problem for CPC: > > # Makefile > .cpc.cpi: > gcc -E -x c $(CFLAGS) -include cpc/cpc_runtime.h \ > -o $@ $< > > And then, process the .cpi files with CIL. I realised that this is not quite the right thing for me, because I run CIL on a big and