RE: stand-alone top-level

RE: stand-alone top-level

[EL CHAAR Rabih SGAM/AI/SAM]

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).

I don't see any other way then to add the interface directory in the toplevel command.

Maybe someone with more knowledge about the toplevel internals can give a better solution.

Sincerely,
Rabih

-----Message d'origine-----
De : Sam Steingold [mailto:sds@gnu.org] 
Envoyé : mardi 17 avril 2007 15:54
À : EL CHAAR Rabih SGAM/AI/SAM
Cc : caml-list@inria.fr
Objet : Re: stand-alone top-level

EL CHAAR Rabih SGAM/AI/SAM wrote:
> All toplevels need to see the interfaces of the modules you are using (.cmi).

yes, but they should be included in the executable file.
I want 1 (one) file that can be moved to a different machine and used 
there without having to carry all those *.cmi files with me.
Ce message et toutes les pieces jointes (ci-apres le "message") sont confidentiels et etablis a l'intention exclusive de ses destinataires. 
Toute utilisation ou diffusion non autorisee est interdite. 
Tout message electronique est susceptible d'alteration. 
Societe Generale Asset Management et ses filiales declinent toute responsabilite au titre de ce message s'il a ete altere, deforme ou falsifie. 
  
Decouvrez l'offre et les services de Societe Generale Asset Management sur le site www.sgam.fr 
  
                                ******** 
  
This message and any attachments (the "message") are confidential and intended solely for the addressees. 
Any unauthorised use or dissemination is prohibited. 
E-mails are susceptible to alteration. 
Neither Societe Generale Asset Management nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified. 
 
Find out more about Societe Generale Asset Management's proposal on www.sgam.com

Re: stand-alone top-level

[Sam Steingold]

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.

Re: [Caml-list] Re: stand-alone top-level

[ls-ocaml-developer-2006]

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