Browse thread
Ocaml library implementing equivalence classes and partial orders
-
nari
-
thierry BRAVIER
- Sven LUTHER
- Jacques Garrigue
-
thierry BRAVIER
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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