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 SAA09065 for caml-redistribution@pauillac.inria.fr; Mon, 21 Feb 2000 18:13:04 +0100 (MET) Resent-Message-Id: <200002211713.SAA09065@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id DAA18864 for ; Sun, 20 Feb 2000 03:25:56 +0100 (MET) Received: from beach.frankfurt.netsurf.de (beach.frankfurt.netsurf.de [194.64.181.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id DAA22894 for ; Sun, 20 Feb 2000 03:25:54 +0100 (MET) Received: from ice.darmstadt.netsurf.de (board-84.darmstadt.netsurf.de [194.163.86.212]) by beach.frankfurt.netsurf.de (8.8.5/8.8.5) with ESMTP id DAA00505 for ; Sun, 20 Feb 2000 03:25:48 +0100 (MET) Received: from localhost (localhost [[UNIX: localhost]]) by ice.darmstadt.netsurf.de (8.9.3/8.9.3) id DAA05439 for caml-list@inria.fr; Sun, 20 Feb 2000 03:25:14 +0100 From: Gerd Stolpmann Reply-To: Gerd.Stolpmann@darmstadt.netsurf.de Organization: privat To: caml-list@inria.fr Subject: Loading libraries Date: Sun, 20 Feb 2000 03:12:42 +0100 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain MIME-Version: 1.0 Message-Id: <00022003251409.30469@ice> Content-Transfer-Encoding: 8bit Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 21 Feb 2000 18:13:04 +0100 Resent-To: caml-redistribution@pauillac.inria.fr After I posted the dynamic loader recently, I remembered that I programmed something similar some time ago. It is a different and simpler approach to the same problem. The Dl module makes the dlopen and dlsym functions of the operating system available directly such that you can load libraries and invoke function from the libraries, but there isn't any automatism built into the bytecode interpreter. You have to do all yourself. There is a generator that helps rewriting programs containing "external" declarations into programs using the dl library. Because such functionality may be useful until the interpreter itself is clever enough to dynamically load libraries, I have packed a tarball containing the module. You find it here: http://people.darmstadt.netsurf.de/Gerd.Stolpmann/ocaml/dl-1.0.tar.gz The documentation can be found here: http://people.darmstadt.netsurf.de/Gerd.Stolpmann/ocaml/projects/dl gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: Gerd.Stolpmann@darmstadt.netsurf.de (privat) Germany ----------------------------------------------------------------------------