Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Project Proposals
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-06-18 (20:04)
From: Gerd Stolpmann <info@g...>
Subject: Re: [Caml-list] OCaml packaging problems

On 2002.06.18 15:32 Sven Luther wrote:
> On Tue, Jun 18, 2002 at 02:57:33PM +0200, Xavier Leroy wrote:
> > > 1)  What will be the exact name of these directories ? It would be a good
> > > idea, i think at least, if we choose the same name for all
> > > installations of ocaml, and not everyone choosing it's own directory.
> > > (or else we could have a ocaml option similar to -where which would
> > > give a pointer to these directories ? and have the choice of the
> > > directory highly configurable, maybe a -where_stub or something such ?)
> > > 
> > > Actually i have the proposition of "shlibs" from you, and "libexec" from
> > > Gerd and the findlib people. and then i feel myself "stublibs" should be
> > > a nice name too, especially since it is just the sub libraries we are
> > > speaking about, and not the .cma and other such ocaml libraries.
> > 
> > My proposal for "shlibs" was just for the sake of example, and isn't
> > very descriptive.  I like "stublibs" or "libexec" better, actually.
> I would go for stublibs myself, but the findlib folk seems keen on
> libexec. Maybe we should have a long discution here on that, or you
> would decide and we keep that, i don't know, i would need more opinion
> on this.

There is no traditional name for the directory containing dynamically loaded 
libraries, i.e. libraries that are not linked with "-l" into the executable.
"libexec" is intended for executables that are run as a result of library
calls, and that are not in PATH. I chose "libexec" because that was most
close to DLLs.

I don't know if this is a good name, however, and I can change it again in 
the findlib distribution. I think the point is whether everybody familiar
with filesystem conventions finds the DLL directory immediately.

Gerd Stolpmann      Telefon: +49 6151 997705 (privat)
Viktoriastr. 45             
64293 Darmstadt     EMail:
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: