[Caml-list] OCaml binary formats -- how are they linked?

["Ömer Sinan Ağacan" <omeragacan@gmail.com>]

Hi all,

Let's say I have a C API called from OCaml. Bindings are compiled to
.cma, .cmx, .cmxa files.

What I'm wondering is that are those C objects linked to those binary
files statically or dynamically?

Basically what I want to do is to link two different versions of those
C objects(but they share same API, only difference is some assertions
and debug info is enabled in one version but disabled in other) with
minimal effort. If I want to enable debug info, I link one version of
compiled C object files, and if I want to operate faster I link other
version.

Now if those C objects are linked to .cma, .cmx, .cmxa, etc. files
statically, I think I have to compile those OCaml files with this
different versions of C objects, is that correct?

My guess is that those C objects are linked statically, because to
compile my program with this library, I only needed to point to
compiler .cma files. I'm not passing any parameters to show C object
files' location. I still wanted to be 100% sure about that.

And if those C objects are linked statically, is there a parameter or
something to force them to be linked dynamically?

Thanks,


---
Ömer Sinan Ağacan
http://osa1.net