From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id UAA08764 for caml-redistribution; Mon, 12 Feb 1996 20:04:28 +0100 Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id NAA05180; Mon, 12 Feb 1996 13:37:35 +0100 From: Xavier Leroy Message-Id: <199602121237.NAA05180@pauillac.inria.fr> Subject: Re: librairie To: Guy.Cousineau@ens.fr Date: Mon, 12 Feb 1996 13:37:35 +0100 (MET) Cc: caml-list@pauillac.inria.fr In-Reply-To: <9602091642.AA04132@aubepine.ens.fr> from "Guy.Cousineau@ens.fr" at Feb 9, 96 05:42:11 pm MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis [English summary: "camllibr" in Caml Light is "cslc -a" in Caml Special Light.] > J'aimerais savoir comment on peut faire en CSL ce qu'on > faisait en Caml Light avec la commande , En Caml Special Light, la construction d'une bibliotheque est effectuee par l'option "-a" du compilateur cslc: cslc -a -o mylib.cma obj1.cmo obj2.cmo obj3.cmo Les noms de bibliotheques peuvent avoir l'extension .cma ou .cmo. Elles s'utilisent au moment du link comme un fichier objet (.cmo) normal. Le chargement d'une bibliotheque au toplevel (via la directive #load) n'est pas encore implemente dans la version courante de CSL. - Xavier Leroy