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 C858C7EEB9 for ; Mon, 26 Oct 2015 13:46:49 +0100 (CET) IronPort-PHdr: 9a23:e4Vb+hVAbWXE8mdSJSfZsLhR1z/V8LGtZVwlr6E/grcLSJyIuqrYZxaAt8tkgFKBZ4jH8fUM07OQ6PC9HzVZqs3Q+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8CVOlwD32v1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S41VmwXlFJmGQne5xGyCp71uyr8nuRn2TKRPYv4V+ZwEX6p5qJvDRvpkzsvNjgj8WiRhNY6xPZQqRel4hh+2JL8YYePNfM4cLmLLv0AQm8UFP1WWiNdGISkK8MqDuEBNOtc5cGpoloFrRKzAU+3A+7g1iVPnlf327E316IqFgSQj19oJM4HrHmB9Ia9D6wVS+3gifCQlTg= 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@mga09.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.24; 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.24 as permitted sender) identity=mailfrom; client-ip=134.134.136.24; 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@mga09.intel.com) identity=helo; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga09.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BAAACrHy5WmxiIhoZehApvBr47AQ0jgTchhXwCgS44FAEBAQEBAQEBEAEBAQEBCAkLCSEugiuCBwEBAQMBOg81CwIBCBASFAULMiUBAQQBGoggBwENxCwBAQEHAQEBAQEBHYZ5hHyEXDMFgxqBFAWWNgGFG4lfSJYeg3AfAQGCaR2BP3IBhhGBBgEBAQ X-IPAS-Result: A0BAAACrHy5WmxiIhoZehApvBr47AQ0jgTchhXwCgS44FAEBAQEBAQEBEAEBAQEBCAkLCSEugiuCBwEBAQMBOg81CwIBCBASFAULMiUBAQQBGoggBwENxCwBAQEHAQEBAQEBHYZ5hHyEXDMFgxqBFAWWNgGFG4lfSJYeg3AfAQGCaR2BP3IBhhGBBgEBAQ X-IronPort-AV: E=Sophos;i="5.20,201,1444687200"; d="scan'208";a="184475495" Received: from mga09.intel.com ([134.134.136.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Oct 2015 13:46:47 +0100 Received: from orsmga002.jf.intel.com ([10.7.209.21]) by orsmga102.jf.intel.com with ESMTP; 26 Oct 2015 05:46:32 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,201,1444719600"; d="scan'208";a="835189952" Received: from irsmsx108.ger.corp.intel.com ([163.33.3.3]) by orsmga002.jf.intel.com with ESMTP; 26 Oct 2015 05:46:31 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.98]) by IRSMSX108.ger.corp.intel.com ([169.254.11.138]) with mapi id 14.03.0248.002; Mon, 26 Oct 2015 12:46:30 +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/d4WAAAQv2gAAGxNzA Date: Mon, 26 Oct 2015 12:46:30 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3377B@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE331EE@IRSMSX102.ger.corp.intel.com> <562B75D7.1000900@frisch.fr> <0F7D3B1B3C4B894D824F5B822E3E5A172CE33610@IRSMSX102.ger.corp.intel.com> <562DF227.3060007@frisch.fr> In-Reply-To: <562DF227.3060007@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, > I'm talking about the Dynlink library which allows OCaml code to dynamica= lly > load plugins (made of OCaml + perhaps native code). The loaded code is > compiled in the same way as if it were to be linked in the main program, = but > then it is linked into a .cmxs file (which is really a dll). >=20 > http://caml.inria.fr/pub/docs/manual-ocaml/libref/Dynlink.html I see. Well I can't say I fully understand what the problem is, but then I = don't need to understand everything. I just asked because flexdll results, = as described, in some build trouble and I wanted to make sure that what you= get from it is worth this trouble. I take your word that this is the case. 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