Re: [CIL users] Merging and Linking

2012-09-20 Thread Jonathan Kotker
Thanks, Oliver! I guess what I'm looking for is similar to your suggestion of setting the environment variable CILLY_DONT_LINK_AFTER_MERGE, but I was wondering if there was a command-line option that can be passed to the merger that mimics setting this environment variable. On 18 September 2012 01

[CIL users] How to properly handle new CIL + cilly command line arguments

2012-09-20 Thread Alex Susu
Hello. I am trying to pass to the CIL executable (cilly.asm.exe) the following new command line parameters that will be "routed" by main.ml to my CIL module: --myArg myString What is the best way of implementing this? In CIL_API.pdf it is mentioned: fd_extraopt