From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA14492 for caml-red; Tue, 30 May 2000 22:26:36 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA25263 for ; Tue, 30 May 2000 02:50:26 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e4U0oNv10775 for ; Tue, 30 May 2000 02:50:24 +0200 (MET DST) Received: from localhost (sansho.kurims.kyoto-u.ac.jp [130.54.16.90]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id JAA00834; Tue, 30 May 2000 09:50:18 +0900 (JST) To: thierry.bravier@dassault-aviation.fr Cc: caml-list@inria.fr Subject: Re: ocamlc command line suggested features In-Reply-To: Your message of "Thu, 25 May 2000 09:53:15 +0200" <392CDBEB.5B792F05@dassault-aviation.fr> References: <392CDBEB.5B792F05@dassault-aviation.fr> X-Mailer: Mew version 1.93 on Emacs 20.5 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20000530095010G.garrigue@kurims.kyoto-u.ac.jp> Date: Tue, 30 May 2000 09:50:10 +0900 From: Jacques Garrigue X-Dispatcher: imput version 980905(IM100) Sender: weis From: "thierry BRAVIER" > I have been trying labltk since ocaml-2.99 first with: labltklink > and now with: ocamlc -I$STDLIB/labltk labltk.cma foo.ml > > * First, it made me think that an ocamlc -where option > (similar to that of camlp4) would be useful to get $STDLIB from ocamlc. > > This would make it possible to use: > ocamlc -I `ocamlc -where`/labltk foo.ml > > Remark 1: currently, I get $STDLIB from: (ocamlc -v | some scritpt) which is > a pain, Indeed a -where option would be useful, I also have lots of makefiles using the same script as you, in particular for the install procedure. But in this precise case, I would prefer the approach suggested by Sven Luther: to have an abbreviated notation for paths under the standard library directory. For instance we could have ocamlc -I +labltk Remark that now that we have the autolink mechanism, package path + library name is all you need to link in a library. (findlib is certainly more powerful, but it needs some form of meta-information, which is better handled outside of the compiler) > * Second, since the documentation for labltk is short I often find myself > using the toplevel just to check the type of say Tk.pack or > Scale.configure. I should have made more evident in the manual that you _must_ use ocamlbrowser (if labltk works, it works!). Then looking for function types is trivial. (Don't forget to configure your path to include the labltk directory.) > Wouldn't it be nice if we could just say: > ocamlc -sig labltk.cma .cma files do not contain typing information, you have to look inside .cmi files for that. And this is what ocamlbrowser does. Cheers, Jacques --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG