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
Looking for pointers regarding integration of OCaml plugins into OCaml native code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-03-06 (06:06)
From: Alessandro Baretta <a.baretta@s...>
Subject: Re: [Caml-list] Looking for pointers regarding integration of OCaml plugins into OCaml native code
David MENTRE wrote:
> Hello,
>  2/ It could be possible to load native code into a native code
>     application[1] but Xavier thinks this is no longer possible or too
>     difficult[2]. I haven't be able to find the explanation Xavier is
>     refering to. Has anybody a pointer to it? I would like to understand
>     the issue(s).

Actually, MetaOcaml has most of the machinery needed to do this. I have recently 
released to the MetaOcaml hackers list a patch which actually enables native 
linking of ocamlopt generated code on Linux/x86. I have no clue as to the level 
of support for any other operating system/architecture. I must add that, 
although Natdynlink exists in MetaOcaml, it is definitely not a mature 
implementation. I had to solve several issues myself before I could get my 
AS/Xcaml to run any bit of a web application in native dynamic mode. Yet, after 
all the bugfixing, I only have a proof-of-concept implementation, which is not 
stable enough for production use. A lot more testing and feedback is needed the 
by the MetaOcamlers to get this feature to work right.

And, by the way, MetaOcaml is really much more stable than its official "alpha" 
status implies. As far as I seen while experimenting with building the AS/Xcaml, 
is that Natdynlink needs more work. The rest seems fairly robust.



Ing. Alessandro Baretta

Studio Baretta

Consulenza Tecnologica e Ingegneria Industriale
Technological Consulting and Industrial Engineering

tel. +39 02 370 111 55
fax. +39 02 370 111 54