From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA31244 for caml-redist; Tue, 25 Apr 2000 19:03:09 +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 KAA32135 for ; Sat, 22 Apr 2000 10:50:17 +0200 (MET DST) Received: from nef.ens.fr (ntp.ens.fr [129.199.96.34]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id KAA21120; Sat, 22 Apr 2000 10:50:16 +0200 (MET DST) Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef.ens.fr (8.9.3/1.01.28121999) with ESMTP id KAA80100 ; Sat, 22 Apr 2000 10:50:16 +0200 (CEST) Received: from galion.ens.fr (george@galion [129.199.129.10]) by clipper.ens.fr (8.9.2/jb-1.1) id KAA08895 ; Sat, 22 Apr 2000 10:50:18 +0200 (MET DST) Received: from (george@localhost) by galion.ens.fr (8.8.8/jb-1.1) Date: Sat, 22 Apr 2000 10:50:02 +0200 From: Nicolas GEORGE To: Jerome Vouillon , caml-list@inria.fr Subject: Re: Dynamic link Message-ID: <20000422105001.A16369@galion.ens.fr> References: <20000420103349.A12329@galion.ens.fr> <20000421205958.36133@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.96i In-Reply-To: <20000421205958.36133@pauillac.inria.fr>; from Jerome Vouillon on Fri, Apr 21, 2000 at 08:59:58PM +0200 Sender: weis Le vendredi 21 avril 2000, Jerome Vouillon a écrit : > 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. > 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) > I don't think you need to consider builtin primitives in a special > way: just consider the runtime as another shared library. At this time, I am not at ease with the compiler/run-time code enough to make so wide changes. But the structure of my patch allows that almost without changes: I simply builtins primitives into the symbols database, and as the symbol is already initialized, it does not load this fake library. > You should definitively do that. And I think it's easy. I will try, but I have others parallel projects (I have written a binding for the curses library, and I must then build on top of that a high-level widget system). -- Sorry for my horrible English.