toplevel

toplevel

[Jean Krivine]

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?

toplevel: $(MLI) $(CMI) $(OBJS)
	ocaml $(OCAMLINCLUDES) unix.cma nums.cma $(OBJS)

toplx: $(MLI) $(CMI) $(OBJS)
	ocamlmktop -o toplx $(OCAMLINCLUDES) -cclib -lunix -cclib -lnums
unix.cma nums.cma $(OBJS)

Thanks you!

J

Re: [Caml-list] toplevel

[Alain Frisch]

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