From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA23099; Tue, 22 Jan 2002 10:00:51 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA22700 for ; Tue, 22 Jan 2002 10:00:50 +0100 (MET) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0M90of28098 for ; Tue, 22 Jan 2002 10:00:50 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id KAA01968 for caml-list@inria.fr; Tue, 22 Jan 2002 10:00:50 +0100 Date: Tue, 22 Jan 2002 10:00:50 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: [Caml-list] Re: your mail Message-ID: <20020122100050.C1462@verdot.inria.fr> References: <1011655678.3c4ca3fe74235@webmail.sbdconsultors.com> <20020121224336.GA17642@fichte.ai.univie.ac.at> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20020121224336.GA17642@fichte.ai.univie.ac.at>; from markus@oefai.at on Mon, Jan 21, 2002 at 11:43:36PM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Mon, Jan 21, 2002 at 11:43:36PM +0100, Markus Mottl wrote: > This should probably be an FAQ: toplevels do not remember include-paths > of libraries linked with them. This means that you have to explicitly > tell your toplevel where to find the module interfaces (.cmi-files), e.g.: > > ocamlunx -I +camlp4 -I +contrib You can create a file, "foo.ml" holding: Topdirs.dir_directory "+contrib";; compile it and add "foo.cmo" in your ocamlmktop command line. For Camlp4, it is not necessary, because it has beeen already added in the toplevel directory path in OCaml version 3.04. -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr