From: Alain Frisch <frisch@clipper.ens.fr>
To: caml-list@inria.fr
Subject: [announce] dl-runtime
Date: Wed, 27 Dec 2000 19:47:04 +0100 (MET) [thread overview]
Message-ID: <Pine.GSO.4.04.10012271944360.22236-100000@clipper.ens.fr> (raw)
Hello,
this is to announce the availability of dl-runtime, a patch to OCaml for
using primitives from shared libraries.
This is done by allowing runtime systems (ocamlrun or custom systems)
to load shared libraries, in addition to statically linked primitives,
in order to fulfill the requirements of the bytecode primitive table.
There is no special annotation in the source code: the choice of using
shared libraries is done at runtime.
There are two ways to specify which libraries to import:
- give this information via the runtime system command line ("-l..."):
ocamlrun -l/usr/local/lib/ocaml/libunix_so.so my_program
or:
LD_LIBRARY_PATH=/usr/local/lib/ocaml ocamlrun -llibunix_so.so
my_program
- give the Caml linker a set of shared libraries to remember at runtime
("-dl ...")
ocaml -noautolink -o my_program unix.cma my_program.cmo -dl libunix_so.so
This simply puts annotations in the bytecode file.
For instance, it is possible to build shared versions of libunix,
libgraphics, libstr ... and use a small generic runtime system
to run any bytecode program using these libraries.
The patch is known to work under Linux 2.2 and Solaris 5.7.
Information: http://www.eleves.ens.fr:8080/home/frisch/info/README-DL
Download: http://www.eleves.ens.fr:8080/home/frisch/soft
--
Alain Frisch
reply other threads:[~2000-12-30 19:06 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=Pine.GSO.4.04.10012271944360.22236-100000@clipper.ens.fr \
--to=frisch@clipper.ens.fr \
--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).