From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.9 required=5.0 tests=AWL,RCVD_IN_BL_SPAMCOP_NET autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 109A0BBAF for ; Mon, 5 Oct 2009 19:55:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwIAJfPyUrB/Bd4Wmdsb2JhbACabQEWCA0HEAa3LYQqBIFS X-IronPort-AV: E=Sophos;i="4.44,507,1249250400"; d="scan'208";a="34276628" Received: from smtp-msa-out01.orange.fr ([193.252.23.120]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Oct 2009 19:55:41 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf5a03.orange.fr (SMTP Server) with ESMTP id BFC0C1C00091; Mon, 5 Oct 2009 19:55:41 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf5a03.orange.fr (SMTP Server) with ESMTP id B1D8D1C00094; Mon, 5 Oct 2009 19:55:41 +0200 (CEST) Received: from [192.168.1.53] (APuteaux-154-1-21-149.w83-199.abo.wanadoo.fr [83.199.22.149]) by mwinf5a03.orange.fr (SMTP Server) with ESMTP id 5114F1C00091; Mon, 5 Oct 2009 19:55:41 +0200 (CEST) X-ME-UUID: 20091005175541332.5114F1C00091@mwinf5a03.orange.fr X-ME-User-Auth: lexifi Message-ID: <4ACA331B.7020700@lexifi.com> Date: Mon, 05 Oct 2009 19:55:39 +0200 From: Alain Frisch User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) MIME-Version: 1.0 To: Gerd Stolpmann Cc: Conglun Yao , caml-list@yquem.inria.fr, Richard Jones Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11? References: <20091004190509.GA31372@annexia.org> <20091004193740.GB28561@annexia.org> <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de> In-Reply-To: <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; frisch:01 frisch:01 lexifi:01 dynlink:01 ocamlfind:01 camlp:01 gerd:01 stolpmann:01 cygwin:01 bytecode:01 bytecode:01 ocaml:01 cygwin:01 stub:01 bug:01 Gerd Stolpmann wrote: > While cygwin cannot load shared libraries from bytecode, it still can > load pure bytecode dynamically. Since OCaml 3.11 and the use of flexdll, all the windows ports (including the Cygwin port) are supposed to be able to load stub DLLs produced by flexlink. This has not been tested thoroughly, so feel free to report otherwise if you can isolate a bug related to that. Alain