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.

On Tue, Jul 10, 2012 at 12:50 PM, Dash, Santanu <s.dash@herts.ac.uk> wrote:
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