From: Gerd Stolpmann <Gerd.Stolpmann@darmstadt.netsurf.de>
To: caml-list@inria.fr
Subject: Loading libraries
Date: Sun, 20 Feb 2000 03:12:42 +0100 [thread overview]
Message-ID: <00022003251409.30469@ice> (raw)
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
----------------------------------------------------------------------------
reply other threads:[~2000-02-21 17:13 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=00022003251409.30469@ice \
--to=gerd.stolpmann@darmstadt.netsurf.de \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).