Jean Krivine wrote:
> Hello
> 
> I am trying to make a toplevel including differnent cmo
> (OBJS=./dir1/obj1.cmo ./dir2/obj2.cmo ...) contained in different
> directories
> (OCAMLINCLUDES= -I ./dir1 -I ./dir2 ...).
> If I type make toplevel (see excerpt of my makefile below) I obtain a
> toplevel that does what I want (I can load all my modules from it).
> But when I try to make a toplevel (by doing make toplx) using
> ocamlmktop, the toplevel I obtain doesn't know my modules...
> Can anyone help me?

Your modules are probably linked in the toplevel but you must still pass 
the -I flags to the toplevel to make the .cmi files visible. I believe 
the only way to embed some builtin -I flags in a toplevel is to link in 
a module that talks to the toplevel.

-- Alain