Re: -output-obj and shared libraries?

[Xavier Leroy <Xavier.Leroy@inria.fr>]

> My target platform is Linux/x86.  
> Is it possible to create a .so object from ocaml?   

It depends what you want to put in the shared library and how you
want to use it.

>From your mention of the -output-obj option, I infer that you'd like
to build a shared library that contains some Caml code, some C
wrappers around the Caml code, and a copy of the Caml runtime system.
This is easy to do.  Referring to the example at the end of the
"Interfacing C with Objective Caml" chapter, you'd do:

        ocamlc -custom -output-obj -o modcaml.o mod.ml
        ocamlc -c modwrap.c
	gcc -shared -Wl,-soname,libmod.so.1 -o libmod.so.1.0 \
                modwrap.o modcaml.o /usr/local/lib/ocaml/libcamlrun.a

and then install libmod.so.1.0 in a public place as usual.  Then you
can dynamically link against libmod using -lmod or dlopen().

If your question is about building shared libraries of Caml code that
can be linked dynamically against other Caml code, we don't know yet
how to do this.  A Caml program can load bytecode Caml object files at
run-time using the Dynlink library, but that's not quite the same
thing.

Best regards,

- Xavier Leroy