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] prelinking ocamlfind
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-07-19 (13:48)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: [Caml-list] prelinking ocamlfind
> Xavier, i have been told that this probably happens because we use a elf
> section that is normally strippable.

It's even worse than that, but I won't get into details :-)

> It could be solved by using a
> special elf section specialized to our need (maybe one named bytecode or
> something), then at least strip and possibly the prelink stuff, would
> not remove it as it does not.

Yes, but:
- This solution is not portable to non-ELF platforms (e.g. MS Windows),
  thus forcing an unpleasant fork in the code.
- The ELF format is very complex.  There are libraries that facilitate
  manipulations of ELF files (e.g. libelf), but these are not
  universally available and severely under-documented.

Rather than muck with ELF, a simpler solution would be to embed the
bytecode executable as initialized C arrays in the executable
generated by ocamlc -custom.  That's what ocamlc -output-obj does, and
I believe it shouldn't be too hard to adapt the existing -output-obj
code to the -custom case.

- Xavier Leroy

To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners