Sam Steingold <sds@podval.org> writes:

> EL CHAAR Rabih SGAM/AI/SAM wrote:
>> If you speak about the toplevel as interactive, it needs to see the
>> modules interfaces in order to do the type checking, compilation,
>> ... These were always in cmi files, which are not embedded in
>> libraries (cma or cmxa).
>
> it would be nice if they were optionally embeddable in the interactive
> top-level.

I suggest tar-ing the *.cmi and the toplevel together, copying them to
the target machine and un-tar-ing? Or rsyncing a complete directory?
You could automate all this with a script.

Regards -- Markus