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
Best way to choose an implementation of a lib ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-11-30 (16:09)
From: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Re: [Caml-list] How to compile different implementations of the same lib

Le 30 nov. 05 ŕ 15:38, Daniel Bünzli a écrit :

> Le 30 nov. 05 ŕ 13:19, Jacques Garrigue a écrit :
>> Note that with native code you must be careful to compile without any
>> .cmx around (only .cmi's), as this would induce dependencies on a
>> specific version. This also means that you lose inlining (one major
>> advantage of native code.)
> I don't understand this. Careful to compile what without which cmx  
> around ? And where do you lose inlining ?

Now I think I understand this. You mean when you compile client code  
client.ml against the library. Then functions from the lib will not  
be inlined in client code. This allows to switch implementations of  
the library without recompiling client.ml. More precisely, if you  
statically link with the lib you only need to relink and if you  
dynamically link you don't even need to do anything, you can just  
play with CAML_LD_LIBRARY_PATH. Right ?