There is an "output_name" value in utils/clflags.ml, which is handled by the "output_prefix" function in driver/main.ml, which passes it to the Compile.{interface,implementation} functions of drivers/compile.ml; have a look at how these two functions handle production of auxiliary .cmi or .annot files.
Hello all,
I work in the area of program analysis. I am currently trying to analyse Ocaml programs and wish to output file-specific information with the aid of the Ocaml compiler.
For example, if I compile a file called foo.ml, i want to output a file called foo.info based on an analysis of alpha.ml. I have already integrated the analysis module with the Ocaml compiler.
Can someone direct me on the best way to go about this? Is there a variable in the compiler that stores the filename of the file currently being compiled?
Kind regards,
Santanu
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs