On 17.02.2011 16:36, Justin wrote: > <snip> > > > $ cilly --verbose --save-temps --merge --keepmerged unitTests_jjc.c > rngs.c dominion.c -o dominion-merged > Preprocessing unitTests_jjc.c > gcc -D_GNUCC -E -DCIL=1 unitTests_jjc.c -o ./unitTests_jjc.i > Saving source ./unitTests_jjc.i into ./unitTests_jjc.o > Preprocessing rngs.c > gcc -D_GNUCC -E -DCIL=1 rngs.c -o ./rngs.i > Saving source ./rngs.i into ./rngs.o > Preprocessing dominion.c > gcc -D_GNUCC -E -DCIL=1 dominion.c -o ./dominion.i > Saving source ./dominion.i into ./dominion.o > Merging saved sources into dominion-merged_comb.o (in process of linking > dominion-merged) > Will merge the following: KeptFile=HASH(0x22cd378) > KeptFile=HASH(0x22cfcf8) KeptFile=HASH(0x22cfe30) > Will just link the genuine object files: > After merge compile flags: > /home/joel/apps/crest/cil/obj/x86_LINUX/cilly.asm.exe --out > ./dominion-merged.cil.c --verbose ./unitTests_jjc.o ./rngs.o > ./dominion.o --mergedout ./dominion-merged_comb.c > > $ ls > bin dominion.h interface.h Makefile > player.c rngs.o unitTests_jjc.o > cardDefs.h dominion.i Lin_Dominion_jc.cbp moreFunctions.h > rngs.c rt.c > dominion.c dominion.o Lin_Dominion_jc.depend obj > rngs.h unitTests_jjc.c > dominion.c.save interface.c Lin_Dominion_jc.layout playdom.c > rngs.i unitTests_jjc.i > > > > You can see that there is no ".comb.c" file.
There is also no "dominion-merged" binary. Did you maybe copy paste some messages together and it's actually located in the "bin" directory? Otherwise: What CIL version are you using? Does it work for single files? The command you're trying works for me with latest svn version. > The various .o and .i > files are there, though (the result of the --save-temps flag I > believe...I wasn't even seeing those before I found that flag). > > The 'coming soon' statement is from the README file. > > > Thanks, > J > > > > On 02/17/2011 01:12 AM, Marco Trudel wrote: >> Hey J >> >> On 16.02.2011 18:55, Justin wrote: >>> Hello all. I am very new at using CIL, as probably obviated by my >>> question... >> Then you might want to read through http://hal.cs.berkeley.edu/cil/ >> >>> I am trying to merge files into one, so that I can do some analysis on >>> it (using CREST). I have two .c files and 3 .h files. I can't seem to >>> figure out how to get CIL to merge these correctly. >> What did you try? How did it fail? >> >>> The documentation talks about 'more info coming soon'. >> The documentation seems to be pretty extensive to me: >> http://hal.cs.berkeley.edu/cil/cil007.html >> Where does it say "more info coming soon"? >>> The output needs to be .c format; >> I'd suggest to read through the website. All you need is there with very >> good examples and explanations. >> >> >> Hope that helps >> Marco >> >>> CREST has a script that runs on a .c file in order to implement it's >>> features. >>> >>> Thanks, >>> J > > ------------------------------------------------------------------------------ > The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: > Pinpoint memory and threading errors before they happen. > Find and fix more than 250 security defects in the development cycle. > Locate bottlenecks in serial and parallel code that limit performance. > http://p.sf.net/sfu/intel-dev2devfeb > _______________________________________________ > CIL-users mailing list > CIL-users@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/cil-users ------------------------------------------------------------------------------ The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: Pinpoint memory and threading errors before they happen. Find and fix more than 250 security defects in the development cycle. Locate bottlenecks in serial and parallel code that limit performance. http://p.sf.net/sfu/intel-dev2devfeb _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
