Version française
Home     About     Download     Resources     Contact us    
Browse thread
RE: stand-alone top-level
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: EL CHAAR Rabih SGAM/AI/SAM <RABIH.ELCHAAR@s...>
Subject: RE: stand-alone top-level
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