Version française
Home     About     Download     Resources     Contact us    
Browse thread
Ocaml library implementing equivalence classes and partial orders
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Sven LUTHER <luther@d...>
Subject: Re: ocamlc command line suggested features
On Thu, May 25, 2000 at 09:53:15AM +0200, thierry BRAVIER wrote:
> Dear ocamlers,
> 
> 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

you can already do it with this gmake definition :

  OCAMLDIR = $(shell $(CAMLC) -v | grep Standard | sed -e "s/^.*: //")

or by shell script :

  STDLIB=`ocamlc -v | grep Standard | sed -e "s/^.*: //"`

A better solution would be for ocamlc & co to search in the $STDLIB place as
well as in the current dir and absolute path, this way you could just write :

ocamlc -I labltk foo.ml

this would include $STDLIB/labltk.

Friendly,

Sven LUTHER