On 08.12.2010 11:58, Elnatan Reisner wrote:
> 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 ofgccandldwithcilly --merge, and all
>> occurrences ofarwithcilly --merge --mode=AR. It is very important that
>> the--mergeflag be used throughout the build process. If you want to
>> see the merged source file you must also pass the--keepmergedflag to
>> the linking phase.
>
> So maybe you need something like
> make CC="cilly --noWrap --merge --save-temps" AR="cilly --merge --mode=AR"
Indeed! I actually tried
make CC="cilly --noWrap --merge --save-temps" AR="cilly --mode=AR"
and that failed with the same problem. Of course I was missing the
"--merge". Thanks :-)
Have a nice day
Marco
> Elnatan
------------------------------------------------------------------------------
This SF Dev2Dev email is sponsored by:
WikiLeaks The End of the Free Internet
http://p.sf.net/sfu/therealnews-com
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
