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 : (string * Arg.spec * string) list ;
        Additional command line options. The description strings should usually 
start   with a 
space for Arg.align to print the -help nicely.

     However, I noticed that the Perl cilly driver transforms the command line 
parameter 
list it passes to the CIL executable. For example, when giving:
        bin/cilly --docallgraph app.c --save-temps
     the driver calls:
        obj/x86_LINUX/cilly.asm.exe --out ./app.cil.c --docallgraph ./app.i

     I reversed engineered and worked on the Perl scripts cilly.pm and cilly 
(subroutine 
collectOneArgument), but I am wondering: is this the natural way of doing this? 
(there is 
also the option I could get myString from an input file, but this is less 
desired).

   Thank you.
     Alex

------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://ad.doubleclick.net/clk;258768047;13503038;j?
http://info.appdynamics.com/FreeJavaPerformanceDownload.html
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to