From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA04802 for caml-redist; Wed, 26 Apr 2000 15:39:03 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA01531 for ; Wed, 26 Apr 2000 13:28:10 +0200 (MET DST) Received: from ontil.ihep.su (ontil.ihep.su [194.190.161.63]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id NAA14332; Wed, 26 Apr 2000 13:27:58 +0200 (MET DST) Received: from localhost (vsl@localhost) by ontil.ihep.su (8.9.3/8.8.7) with ESMTP id PAA24537; Wed, 26 Apr 2000 15:28:30 +0400 Date: Wed, 26 Apr 2000 15:28:26 +0400 (MSD) From: Vitaly Lugovsky To: Nicolas GEORGE cc: Jerome Vouillon , caml-list@inria.fr Subject: Re: Dynamic link In-Reply-To: <20000422105001.A16369@galion.ens.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis On Sat, 22 Apr 2000, Nicolas GEORGE wrote: > > Actually, if you are concerned about the size of a custom runtime, it > > is much simpler to patch the OCaml makefiles so that the standard > > library and the special libraries are built as shared library. > > I agree with that, as long as you are root on your computer, to install the > new "fat" runtime each time you add a new library. What for? Why unprivileged user can't install'em in his own LD_LIBRARY_PATH? Or, if there is a group of users, e.g. "mlusers", there can be a group writable directory for a shared libraries. > > API for dynamically loading C libraries at execution time (rather than > > In my view, this is a quite different issue. (And I don't see immediatly > how to do that type safely) It'll be as safe as normal static link can be. Or I just can't understand something... -- V.S.Lugovsky aka Mauhuur (http://ontil.ihep.su/~vsl) (UIN=45482254)