From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 93630BC0A for ; Tue, 17 Apr 2007 16:17:55 +0200 (CEST) Received: from parmail03.sgcib.com (parmail03.sgcib.com [207.45.250.36]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3HEHtgM030879 for ; Tue, 17 Apr 2007 16:17:55 +0200 X-IronPort-AV: i="4.14,419,1170630000"; d="scan'208"; a="112478370:sNHT26805468" Content-class: urn:content-classes:message MIME-Version: 1.0 x-mimeole: Produced By Microsoft Exchange V6.5.7226.0 Subject: RE: stand-alone top-level Date: Tue, 17 Apr 2007 16:14:54 +0200 Message-ID: <7625D6A1880B4C4DA11D2EBB8B43D2B90174741A@FRDEF-EXMB03.europe.am.socgen> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: stand-alone top-level Thread-Index: AceA+COl23+r6z2oQ1uBCPSeuYAuBwAAhQyA From: "EL CHAAR Rabih SGAM/AI/SAM" To: "Sam Steingold" Cc: X-OriginalArrivalTime: 17 Apr 2007 14:15:03.0007 (UTC) FILETIME=[CA731EF0:01C780FA] X-NAI-Spam-Rules: 1 Rules triggered BAYES_00=-2.5 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="iso-8859-1" X-Miltered: at discorde with ID 4624D713.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; toplevel:01 compilation:01 cmi:01 cmxa:01 toplevel:01 internals:01 toplevels:01 cmi:01 interdite:98 altere:98 unauthorised:98 subsidiaries:98 wrote:01 caml-list:01 interfaces:01 If you speak about the toplevel as interactive, it needs to see the modules= interfaces in order to do the type checking, compilation, ...=20 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 toplev= el command. Maybe someone with more knowledge about the toplevel internals can give a b= etter solution. Sincerely, Rabih -----Message d'origine----- De=A0: Sam Steingold [mailto:sds@gnu.org]=20 Envoy=E9=A0: mardi 17 avril 2007 15:54 =C0=A0: EL CHAAR Rabih SGAM/AI/SAM Cc=A0: caml-list@inria.fr Objet=A0: 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 (.c= mi). 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=20 there without having to carry all those *.cmi files with me. Ce message et toutes les pieces jointes (ci-apres le "message") sont confid= entiels et etablis a l'intention exclusive de ses destinataires.=20 Toute utilisation ou diffusion non autorisee est interdite.=20 Tout message electronique est susceptible d'alteration.=20 Societe Generale Asset Management et ses filiales declinent toute responsab= ilite au titre de ce message s'il a ete altere, deforme ou falsifie.=20 =20 Decouvrez l'offre et les services de Societe Generale Asset Management sur = le site www.sgam.fr=20 =20 ********=20 =20 This message and any attachments (the "message") are confidential and inten= ded solely for the addressees.=20 Any unauthorised use or dissemination is prohibited.=20 E-mails are susceptible to alteration.=20 Neither Societe Generale Asset Management nor any of its subsidiaries or af= filiates shall be liable for the message if altered, changed or falsified.=20 =20 Find out more about Societe Generale Asset Management's proposal on www.sga= m=2Ecom