From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8CF3ABB81 for ; Wed, 28 Sep 2005 14:44:39 +0200 (CEST) Received: from smtp2.mathworks.com (smtp2.mathworks.com [144.212.95.218]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8SCicVF025793 for ; Wed, 28 Sep 2005 14:44:39 +0200 Received: from mail-vif.mathworks.com (fred-ce0.mathworks.com [144.212.95.18]) by smtp2.mathworks.com (8.12.11/8.12.11) with ESMTP id j8SCibJf026571 for ; Wed, 28 Sep 2005 08:44:37 -0400 (EDT) Received: from MESSAGE-AH.ad.mathworks.com (ex-01-ah.mathworks.com [144.212.95.156]) by mail-vif.mathworks.com (8.11.7/8.11.7) with ESMTP id j8SCibv22696 for ; Wed, 28 Sep 2005 08:44:37 -0400 (EDT) X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Dynamic linking Date: Wed, 28 Sep 2005 08:44:36 -0400 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] Dynamic linking Thread-Index: AcXEDA5yOQj21sNRQne94enyhzxQ9AAHVKMg From: "Alexander Bottema" To: X-Miltered: at concorde with ID 433A9036.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 ocaml:01 dlls:01 caml-list:01 metaocaml:01 beginner's:01 beginners:01 bug:01 binaries:01 bin:01 jacques:01 jacques:01 supported:01 native:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 I managed to get dynamic linking for OCaml (i.e. making OCaml producing DLLs that could then be used by other native code/binaries) to work on almost all our supported platforms (Linux x86, Windows (2000/XP), Solaris 2, Mac OS X). The only platform which I couldn't get to work was Linux AMD64. I tried to modify the OCaml emitter for AMD64 to accommodate position independent code using the offset tables, but it was too hard. If anyone picks up this task, please let us know. As it stands today we cannot use OCaml for production code. Alexander Bottema The MathWorks -----Original Message----- From: caml-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inria.fr] On Behalf Of Jacques Garrigue Sent: Wednesday, September 28, 2005 5:06 AM To: jonathan.roewen@gmail.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Dynamic linking Follow-up on dynamic linking for native code: I believed this didn't exist for ocaml, but I just learned that MetaOCaml does it, at least on x86. So this is not only possible, but an implementation is available. (I understand this is partly work in progress.) Jacques Garrigue _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs