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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6D0217EEB9 for ; Mon, 26 Oct 2015 10:13:50 +0100 (CET) IronPort-PHdr: 9a23:KhnljBC/1/qhxVaXDBbLUyQJP3N1i/DPJgcQr6AfoPdwSP/5rsbcNUDSrc9gkEXOFd2CrakU1qyP6+u5AjVIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niqbro9aKOFwArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6m4nIdVC04iBtTCAiNuBj+V5b3miXgt/F22G+UJ5uyBfo/UDGmqqNqUwPAiSEdNjd//nudwph7hadf5RagvABXwojOYYjTOuAoLY3HetZPD1FGU8lNTStZRsuZboAPBucFd64Mqoj2p1IDqV2lAgSjGPno0hdJgGP72esx1OF3QlKO5xApA99b6Cecl97yLqpHFLntlKQ= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga03.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.65 as permitted sender) identity=mailfrom; client-ip=134.134.136.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mga03.intel.com) identity=helo; client-ip=134.134.136.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga03.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CmAABi7i1WnEGIhoZdhApvBr5GI4E3GYYEAoEmORMBAQEBAQEBARABAQEBAQYNCQkhLoIrggcBAQEDAToPNQsCAQgQEhQFCzIlAQEEARqIIAcBxCUBAQEHAQEBAQEBARyGeYR8hFw4gxqBFAWWNgGpUCMDgmQdgT9yhhKBBgEBAQ X-IPAS-Result: A0CmAABi7i1WnEGIhoZdhApvBr5GI4E3GYYEAoEmORMBAQEBAQEBARABAQEBAQYNCQkhLoIrggcBAQEDAToPNQsCAQgQEhQFCzIlAQEEARqIIAcBxCUBAQEHAQEBAQEBARyGeYR8hFw4gxqBFAWWNgGpUCMDgmQdgT9yhhKBBgEBAQ X-IronPort-AV: E=Sophos;i="5.20,200,1444687200"; d="scan'208";a="184436856" Received: from mga03.intel.com ([134.134.136.65]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Oct 2015 10:13:49 +0100 Received: from orsmga003.jf.intel.com ([10.7.209.27]) by orsmga103.jf.intel.com with ESMTP; 26 Oct 2015 02:13:48 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,200,1444719600"; d="scan'208";a="671758785" Received: from irsmsx107.ger.corp.intel.com ([163.33.3.99]) by orsmga003.jf.intel.com with ESMTP; 26 Oct 2015 02:13:47 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.98]) by IRSMSX107.ger.corp.intel.com ([169.254.10.49]) with mapi id 14.03.0248.002; Mon, 26 Oct 2015 09:13:46 +0000 From: "Soegtrop, Michael" To: Alain Frisch , "caml-list@inria.fr" Thread-Topic: [Caml-list] flexdll circular dependency on ocamlc: Impossible to built ocaml for mingw without using some prebuilt binaries? Thread-Index: AdEOQWsyPDiuTuX3RGe00BbDnTwYuQAC4y2AAF/d4WA= Date: Mon, 26 Oct 2015 09:13:46 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE33610@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE331EE@IRSMSX102.ger.corp.intel.com> <562B75D7.1000900@frisch.fr> In-Reply-To: <562B75D7.1000900@frisch.fr> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.182] Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] flexdll circular dependency on ocamlc: Impossible to built ocaml for mingw without using some prebuilt binaries? Dear Alain, > Dynlink follows a different model: dynlinked units are not tied to a spec= ific > main executable. A myplugin.cmxs can be dynamically linked by any > application that provides the required interfaces. Can you explain what you mean by Dynlink (or point me to some documents)? I= though we are talking about loading DLLs with LoadLibrary programmatically= (rather than by the image loader). I am quite sure calling main executable= functions from a DLL loaded this way does work. But I am not sure we are t= alking about this mechanism or something else. > As for the dependency between OCaml and flexdll: the simplest approach is > to consider flexdll as any other external tool required to build OCaml (d= o you > recompile "gcc", "make", etc from sources?). The idea of open source is that you have the possibility to fix bugs yourse= lf. This can be an important factor for maintainability. I am quite sure I = can compile gcc from sources if I want to. Everything where I am not so sur= e where it comes from and how it is build I actually do build from sources.= This includes things which are as nasty to build as GTK. Best regards, Michael Intel Deutschland GmbH Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany Tel: +49 89 99 8853-0, www.intel.de Managing Directors: Christin Eisenschmid, Prof. Dr. Hermann Eul Chairperson of the Supervisory Board: Tiffany Doon Silva Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928