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. Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
