From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 036E47FA80 for ; Sat, 24 Oct 2015 14:13:13 +0200 (CEST) IronPort-PHdr: 9a23:N1CFMB9Yp6+p2/9uRHKM819IXTAuvvDOBiVQ1KB80escTK2v8tzYMVDF4r011RmSDdids6oMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1Ele6KtQsb7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vru/5xpNo8jxRtvQ97IYAFPyiJ+VrBYBfWX4dNG06+NfsrV2LaAqE5nIRVi9exh9JCAjM4RW8RZD8vTfgsfJV2S+GMMmwRrcxD3DqpaxiTRutjCYcKxY49nvWg4p+lugT9Bmoohg6x4/PfKmUMuB/d+XTZ4VJa3BGW5N4UyVABMuSdYoUBOpJae9cpoj7j1UUrAC1BU+iHrW8mXdzmnbq0PhigKwaGgbc0VllRopWvQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alain@frisch.fr; spf=None smtp.mailfrom=alain@frisch.fr; spf=None smtp.helo=postmaster@mx30.yaziba.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=pra; client-ip=82.138.71.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=mailfrom; client-ip=82.138.71.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx30.yaziba.net) identity=helo; client-ip=82.138.71.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="postmaster@mx30.yaziba.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D3AABndStWnBVHilJdxRqDRoJXAoEsPBABAQEBAQEBARABAQEBAQYNCQkhLoIrgggBAQQ4QBELGAkWBAsJAwIBAgE3AQ0GAQwIAQGIMMVBAQEIAQEBAR+LdYUUhC4BBJY2jSJbiD6TFAI4glIdgUGICAEBAQ X-IPAS-Result: A0D3AABndStWnBVHilJdxRqDRoJXAoEsPBABAQEBAQEBARABAQEBAQYNCQkhLoIrgggBAQQ4QBELGAkWBAsJAwIBAgE3AQ0GAQwIAQGIMMVBAQEIAQEBAR+LdYUUhC4BBJY2jSJbiD6TFAI4glIdgUGICAEBAQ X-IronPort-AV: E=Sophos;i="5.20,192,1444687200"; d="scan'208";a="151633023" Received: from mx30.yaziba.net ([82.138.71.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 24 Oct 2015 14:13:13 +0200 Received: from mta20.int.yaziba.net (unknown [217.117.151.14]) by mx30.yaziba.net (mx10.yaziba.net) with ESMTP id 656611A7465; Sat, 24 Oct 2015 14:13:12 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mta20.int.yaziba.net (Postfix) with ESMTP id 7E0C51497A0; Sat, 24 Oct 2015 14:13:12 +0200 (CEST) X-Virus-Scanned: amavisd-new at mta20.int.yaziba.net Received: from mta20.int.yaziba.net ([127.0.0.1]) by localhost (mta20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id HWYDN8MXRCgc; Sat, 24 Oct 2015 14:13:12 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mta20.int.yaziba.net (Postfix) with ESMTP id 58B481497AA; Sat, 24 Oct 2015 14:13:12 +0200 (CEST) X-Virus-Scanned: amavisd-new at mta20.int.yaziba.net Received: from mta20.int.yaziba.net ([127.0.0.1]) by localhost (mta20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id Wp7VmUtD9Qec; Sat, 24 Oct 2015 14:13:12 +0200 (CEST) Received: from [192.168.1.14] (APuteaux-655-1-110-101.w83-204.abo.wanadoo.fr [83.204.233.101]) by mta20.int.yaziba.net (Postfix) with ESMTPSA id 2FB5E1497A0; Sat, 24 Oct 2015 14:13:12 +0200 (CEST) Message-ID: <562B75D7.1000900@frisch.fr> Date: Sat, 24 Oct 2015 14:13:11 +0200 From: Alain Frisch User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: "Soegtrop, Michael" , "caml-list@inria.fr" References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE331EE@IRSMSX102.ger.corp.intel.com> In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CE331EE@IRSMSX102.ger.corp.intel.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeekhedrtdekgddvfecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgdpjgetkgfkueetnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfjughrpefkfffhfgggvffufhgjtgfgsehtjegrtddtfeehnecuhfhrohhmpeetlhgrihhnucfhrhhishgthhcuoegrlhgrihhnsehfrhhishgthhdrfhhrqeenucfrrghrrghmpehmohguvgepshhmthhpohhuth X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht X-Validation-by: alain@frisch.fr Subject: Re: [Caml-list] flexdll circular dependency on ocamlc: Impossible to built ocaml for mingw without using some prebuilt binaries? On 24/10/2015 11:50, Soegtrop, Michael wrote: > Also I wonder why flexdll/flexlink is required. The documentation of > flexdll states: > > Windows DLL cannot refer to symbols defined in the main application or > in previously loaded DLLs. > > In my experience this is not true. At least when using MSVC one can > declare functions in the main executable as DLL-export. Then when > linking the main executable an import library is created in the same way > as when building a DLL by the linker. The DLL can then link to this > import library and can access the functions in the main executable. Dynlink follows a different model: dynlinked units are not tied to a specific main executable. A myplugin.cmxs can be dynamically linked by any application that provides the required interfaces. As for the dependency between OCaml and flexdll: the simplest approach is to consider flexdll as any other external tool required to build OCaml (do you recompile "gcc", "make", etc from sources?). It just happens to be implemented in OCaml. Alternatively, you could create a bytecode version of flexlink, which would only require ocamlrun. Alain