Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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
formats.)


-------------------
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