[CIL users] CIL destructors

2012-09-21 Thread Alex Susu
Hello. I am using with great joy the CIL destructors (function Formatcil.dType). I noticed that the destructors do match only for the types of the CIL construct, but not for the identifier name (such as formal arguments name or function name). For example, when I give: - Fo

Re: [CIL users] Merging and Linking

2012-09-21 Thread Oliver Schwahn
Hi, > I was wondering if there was a command-line option that can be passed > to the merger that mimics setting this environment variable. > No, there is no such command line option that i am aware of. But... The compilation and linking control is implemented in cilly (Perl script) which mimics

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

2012-09-21 Thread Gabriel Kerneis
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? As you found in the documentation, you should use: > fd_extraopt