English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Shared object generation patch.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-10-08 (02:12)
From: Jeff Henrikson <jehenrik@y...>
Subject: [Caml-list] Shared object generation patch feedback
> At http://algol.prosalg.no/~malc/scaml you will find a patch against
> OCaml 3.02 and some information suitable for producing shared objects
> on i386 ELF systems.

Nice!  It compiled right out of the box, no unexpected difficulties.

Is there a way to get a asm runtime in a shared lib?  (Either for the purposes of having small executables or for calling from

I am having a hard time understanding how this works due to the fact that I don't understand the ocaml calling/symbol naming
convention.  I've been reading some assembly intermediary files and nm dumps, but I am still confused and am wondering if there's
some general documentation somewhere.

Here's an example of something that confuses me.  I make a file testlib.ml:

> open Printf;;
> let rec print_int_list x =
>   match x with
>     [] -> ()
>   | hd::tl -> printf "%d " hd; (print_int_list tl);;
> let rec mymap f l =
>   match l with
>     [] -> []
>   | hd::tl -> (f hd)::(mymap f tl);;

and I nm testlib.so and get

> 000010c0 T Testlib_code_begin
> 0000118a T Testlib_code_end
> 000023f4 D Testlib_data_begin
> 00002424 D Testlib_data_end
> 00001170 T Testlib_entry
> 00002428 D Testlib_frametable
> 00001100 T Testlib_mymap_53
> 000010c0 T Testlib_print_int_list_49

So I wonder:

1) where do the numbers 53 and 49 come from, and do I care?  For example, if they are arbitrary (as I surmise) and socked away in
testlib.so.cmxa, then don't I get screwed if I try to build an program linked against testlib.so.cmxa and then decide that I want
to change the implementation of testlib?  If so, is there a way to define a symbol table just from an mli?  (A .so.cmi file or
something?)  This command only produces a .cmi:

ocamlopt -shared -o foo.so foo.mli

2) what do the other entry points mean, eg Testlib_entry, and do I care?

Great work if this actually is heading down the path to real system deployment with ocaml!

Jeff Henrikson

Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr