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 267987FF1D for ; Mon, 27 Jun 2016 14:01:40 +0200 (CEST) IronPort-PHdr: 9a23:X5cOLh0HpvnlX6OEsmDT+DRfVm0co7zxezQtwd8ZsekWLfad9pjvdHbS+e9qxAeQG96Ks7Qd0qGK7+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNeLxJjrn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HF8suwg+4ZpVaHheLwgBehUFj1jNW0q/+XuuAXKVheG7XhaWWITxF4ASQPM6RW/WpbqrgP7sPB80W+UJ4e+Gbs9XDDn66ZwVDfpjj0GPng36jeEpNZ3ifcRmxWsqABlxJaQKKSUP/p3c6eXNYcfRGFBV8tVETdGD4ygdYwXJ+sHIetc6YL6og1d/lOFGQCwCba3mXdzjXjs0Phi3g== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga02.intel.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.20 as permitted sender) identity=mailfrom; client-ip=134.134.136.20; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mga02.intel.com) identity=helo; client-ip=134.134.136.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga02.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CNAADcFHFXhxSIhoZbhBR9BroigXsahX4CgS44FAEBAQEBAQEBEQEBAQgNCQkhL4IyghoBAQEDAToPQAIBCA4UFBAyFwENAgQBGoggBwG+cwEBAQcBAQEBASKGKYRMhEKDKoIvBZh7BgGdWo9/HoJPIoE1boh4AX4BAQE X-IPAS-Result: A0CNAADcFHFXhxSIhoZbhBR9BroigXsahX4CgS44FAEBAQEBAQEBEQEBAQgNCQkhL4IyghoBAQEDAToPQAIBCA4UFBAyFwENAgQBGoggBwG+cwEBAQcBAQEBASKGKYRMhEKDKoIvBZh7BgGdWo9/HoJPIoE1boh4AX4BAQE X-IronPort-AV: E=Sophos;i="5.26,536,1459807200"; d="scan'208";a="182887060" Received: from mga02.intel.com ([134.134.136.20]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Jun 2016 14:01:38 +0200 Received: from fmsmga003.fm.intel.com ([10.253.24.29]) by orsmga101.jf.intel.com with ESMTP; 27 Jun 2016 05:01:36 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.26,536,1459839600"; d="scan'208";a="725628606" Received: from irsmsx151.ger.corp.intel.com ([163.33.192.59]) by FMSMGA003.fm.intel.com with ESMTP; 27 Jun 2016 05:01:35 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by IRSMSX151.ger.corp.intel.com ([169.254.4.151]) with mapi id 14.03.0248.002; Mon, 27 Jun 2016 13:01:04 +0100 From: "Soegtrop, Michael" To: David Allsopp , "caml-list@inria.fr" Thread-Topic: Flexdll circular dependency fix uses system provided flexdll.h [was: opam-cross-windows] Thread-Index: AdHO6zYKgQgikXKpQ+GZmI1MmdjVEAAEC4CgAABn19AAAO7vIAAByBBgAAHntPAAHlelAAAJ3IMAAAeAmIAAAWp58AAjqYygAADZuFAAAPrlEA== Date: Mon, 27 Jun 2016 12:01:03 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B8B8@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3BA@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B41D@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B4AC@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B59F@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B5FB@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B877@IRSMSX102.ger.corp.intel.com> In-Reply-To: Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.181] Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Flexdll circular dependency fix uses system provided flexdll.h [was: opam-cross-windows] Dear David, =20 >> I guess I need to build a real host=3DCygwin target=3DMinGW OCaml. Let's= =20 >> see ... >Indeed - which is why, for now, my native Windows opam doesn't allow insta= llation of the Cygwin >ports (because these issues are too easy to hit). >In my opinion, this is all part of fixing the native Windows build system.= Once the native Windows >ports are built "properly" using configure, it s= hould be relatively easy to have an ocamlopt with >host=3DCygwin target=3DMinGW (which is an ocamlopt producing native Window= s code, but accepting >Cygwin-style paths, etc.) and also more exotic combi= nations such as host=3DMinGW target=3DCygwin The main issue I see is that OCaml is not an application but a toolchain. T= ools and PPX need to be compiled for the host. So some libraries need to be= compiled for both, target and host. I guess this will only work if one tar= gets a naming scheme as used for gcc, so that two OCaml compilers can coexi= st in the path. But I think it would be highly desirable to look into this. Looking at plat= forms like phones, tablets, Raspberry Pi, the internet of things in general= : all these rely on proper cross compilation tool chains. PCs and PC OSes b= ecome less and less important. Meanwhile I would think the majority of Linu= x derived devices uses cross compiled SW. 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, Christian Lamprechter Chairperson of the Supervisory Board: Nicole Lau Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928