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] Meta module in findlib and the need for namespaces
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-09-23 (15:56)
From: John Carr <jfc@M...>
Subject: [Caml-list] Re: We should start using -pack by default when building libraries

> What do you all think about this, is this a valuable solution, or are
> there profound reason for not going that way ? 

OCaml 3.06 does not support -pack when using native code on a system
without the GNU linker.  If you release software that depends on -pack,
I will not be able to use it.

A few thoughts on this topic:

1. The AIX linker can rename symbols, so AIX could be supported.

2. I may write a tool to rename symbols in an ELF object.

3. There are alternate implementations of the -pack concept that
do not require symbol renaming.  In particular, the container
module could be specified as an option to ocamlopt -c.

4. There is a conjecture that any computer science problem can be
solved by adding an additional level of indirection.

5. From experience, I can tell you that it takes significant effort to
make a linker-dependent feature work with many different linkers, even
when they all have the necessary functions.  (I was controlling symbol
visibility and early vs. late binding in shared libraries -- even the
linkers derived from SVR4 had evolved different syntax and control file

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