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

Re: [CIL users] CIL homepage down?

Vinai -- Vinai Sundaram @ http://web.ics.purdue.edu/~vsundar/ On Fri, Apr 9, 2010 at 1:49 PM, Wei Hu wrote: > On Fri, Apr 9, 2010 at 9:32 AM, Gabriel Kerneis > wrote: > > On Fri, Apr 09, 2010 at 09:24:43AM -0400, Wei Hu wrote: > >> http://cil.sourceforge.net/ works fine. >

[CIL users] CIL homepage down?

I have problems accessing the homepage at http://hal.cs.berkeley.edu/cil/ Has the homepage moved to a different location or the web server is down? Thanks, Vinai -- Vinai Sundaram @ http://web.ics.purdue.edu/~vsundar