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
>
>