On Thu, Jun 27, 2002 at 04:57:22PM +0200, Sven Luther wrote: > On Thu, Jun 27, 2002 at 02:50:48PM +0200, J?r?me Marant wrote: > > On Thu, Jun 27, 2002 at 02:41:58PM +0200, Stefano Zacchiroli wrote: > > > On Thu, Jun 27, 2002 at 02:48:55PM +0200, Sven Luther wrote: > > > > (BTW, dll.so will go into /usr/lib/ocaml/stublibs, Xavier is ok with > > > > this choice, and it will be standard in 3.05). > > > > > > How do you now that it will be standard in 3.05. > > > Xavier list two location in the last mail on the ocaml mailing list ... > > > > I want dynlibs rather than stublibs! ;-) > > Well, Xavier said stublibs is ok with him unless new elements enter in > the discution, see the corresponding thread on the caml list. > > That said, dynlibs is not a good solution, because it gives the false > impression that dynamically linked libraries are to go into this dir, > while it is only the dynamically loaded stub libraries.
Don't bother with it. It was yet another troll ;-) -- Jérôme Marant -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

