From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 87C53BCAF for ; Fri, 17 Jun 2005 11:48:12 +0200 (CEST) Received: from alex.barettalocal.com (h213-255-109-130.albacom.net [213.255.109.130] (may be forged)) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5H9mCPK014245 for ; Fri, 17 Jun 2005 11:48:12 +0200 Received: from [127.0.0.1] (localhost.localdomain [127.0.0.1]) by alex.barettalocal.com (Postfix) with ESMTP id A2EAF2BAA98; Fri, 17 Jun 2005 11:47:32 +0200 (CEST) Message-ID: <42B29C33.1010302@barettadeit.com> Date: Fri, 17 Jun 2005 11:47:31 +0200 From: Alex Baretta User-Agent: Debian Thunderbird 1.0.2 (X11/20050331) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Jonathan Roewen Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Running bytecode... References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 42B29C5C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; baretta:01 caml-list:01 bytecode:01 ocaml:01 bytecode:01 ocaml:01 nativecode:01 compiler:01 byte-code:01 dynlink:01 asmdynlink:01 cdk:01 compiler:01 dynlink:01 baretta:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: Jonathan Roewen wrote: > How can I load & run ocaml bytecode from my ocaml program that's built > with the nativecode compiler tools? > > Jon The short answer is you can't. It's a pity, but to the present day the vanilla Ocaml distribution does not support mixing native and byte-code. Also, it is not possibile to Dynlink native code, which is even more of a pity. There are libraries and patches to achieve this; however, they are hardly maintained. I remember Asmdynlink, which was in the now defunct CDK (Caml develpment kit). There is a also a patch to the compiler (3.07 last time I looked at it) which also allows native dynlink. Alex -- ********************************************************************* http://www.barettadeit.com/ Baretta DE&IT A division of Baretta SRL tel. +39 02 370 111 55 fax. +39 02 370 111 54 Our technology: The Application System/Xcaml (AS/Xcaml) The FreerP Project