Re: [CIL users] cilly and archives

[Elnatan R. <el...@cs...>]

On Dec 7, 2010, at 2:53 PM, Marco Trudel wrote:

> I'm unable to use "cilly" when archives are involved:
>
> # wget http://ftp.gnu.org/gnu/wget/wget-1.12.tar.gz
> # tar xfz wget-1.12.tar.gz
> # cd wget-1.12/
> # ./configure
> # make CC="cilly --noWrap --merge --save-temps"

I'm not sure this is the problem, but have you seen http://www.cs.berkeley.edu/~necula/cil/merger.html 
:
> you must replace all occurrences of gcc and ld with cilly --merge,  
> and all occurrences of ar with cilly --merge --mode=AR. It is very  
> important that the --merge flag be used throughout the build  
> process. If you want to see the merged source file you must also  
> pass the --keepmerged flag to the linking phase.


So maybe you need something like
   make CC="cilly --noWrap --merge --save-temps" AR="cilly --merge -- 
mode=AR"

Elnatan