On Wed, 19 Jun 2002, Sven Luther wrote:
> Thus, myself i would choose between :
> 
>   o /usr/lib/ocaml/stublibs if we will only ever put stub libs in this
>     directory.
> 
>   o /usr/lib/ocaml/dynlibs if we will later on also put other libs in this
>     directory.
> 
> But then, we could have a multiple directories layout, with one being
> for stublibs, and others for other kind of dynamic loading libs (or .cma),
> So i would go with stublibs.

"stublibs" sounds reasonable to me.

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners