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 6BE7D7EEB9 for ; Mon, 26 Oct 2015 09:42:50 +0100 (CET) IronPort-PHdr: 9a23:liu/ERLfTadDxAgTdtmcpTZWNBhigK39O0sv0rFitYgVK/rxwZ3uMQTl6Ol3ixeRBMOAu68C0rKd6vq+EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35nxjrj5oseNKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDVcr40BYdECzA+Nmkz4oW/tB/NSiOA62EQF34KlR5QBgHD6lf2U8G1+mHxv+95nS2bJtHeTLYuWD3k4b0hAEvjgSIDcjo4633/i8pqjasdrgj39DJlxIuBKrqSOfViZKTFOZs/RGFBV8tVHWQVB4K3b4ICC6waOutXs5P6v3MPqwezAU+nA+a5mWwAvWP/waBvi7dpKgrBxgF1R98= 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: A0BbAAAu5y1WnEGIhoZdhAotQga+NwENI4E3GYYEAoElOBQBAQEBAQEBARABAQEBAQYNCQkhLoIrggcBAQEDAToPNQsCAQgOAgIQFBAyFwENAQEEARoMiBQHAcQhAQEBBwEBAQEBHoZ5g3aBBoRcOIMagRQFljYBjnqPZ4Z/g3AfAQGCUxYHgVVyhhKBBgEBAQ X-IPAS-Result: A0BbAAAu5y1WnEGIhoZdhAotQga+NwENI4E3GYYEAoElOBQBAQEBAQEBARABAQEBAQYNCQkhLoIrggcBAQEDAToPNQsCAQgOAgIQFBAyFwENAQEEARoMiBQHAcQhAQEBBwEBAQEBHoZ5g3aBBoRcOIMagRQFljYBjnqPZ4Z/g3AfAQGCUxYHgVVyhhKBBgEBAQ X-IronPort-AV: E=Sophos;i="5.20,200,1444687200"; d="scan'208";a="184429968" Received: from mga03.intel.com ([134.134.136.65]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Oct 2015 09:42:49 +0100 Received: from fmsmga003.fm.intel.com ([10.253.24.29]) by orsmga103.jf.intel.com with ESMTP; 26 Oct 2015 01:42:47 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,200,1444719600"; d="scan'208";a="588037357" Received: from irsmsx104.ger.corp.intel.com ([163.33.3.159]) by FMSMGA003.fm.intel.com with ESMTP; 26 Oct 2015 01:42:45 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.98]) by IRSMSX104.ger.corp.intel.com ([169.254.5.150]) with mapi id 14.03.0248.002; Mon, 26 Oct 2015 08:42:44 +0000 From: "Soegtrop, Michael" To: Gerd Stolpmann , "caml-list@inria.fr" Thread-Topic: [Caml-list] Effect of Windows LLP64 architecture on 64 bit MingW OCaml Thread-Index: AdENmsKQlrGb4SdjTW+mxn2nfuieSgACo8EAACYH9CAAAegIAABg5t5Q Date: Mon, 26 Oct 2015 08:42:43 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE335B7@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE32E38@IRSMSX102.ger.corp.intel.com> <562A5C92.50206@inria.fr> <0F7D3B1B3C4B894D824F5B822E3E5A172CE3315A@IRSMSX102.ger.corp.intel.com> <1445685398.4567.70.camel@e130.lan.sumadev.de> In-Reply-To: <1445685398.4567.70.camel@e130.lan.sumadev.de> 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] Effect of Windows LLP64 architecture on 64 bit MingW OCaml Dear Gerd, > Officially, the OCaml build doesn't support that host arch <> build arch. > (Remember, this is a feature gcc supports, and nothing "a compiler needs = to > be aware of".) >=20 > But anyway, the situation is a little bit different than for a C compiler= . OCaml > uses bytecode for bootstrapping, and you can e.g. run the bytecode > executables built for arch X on arch Y with the ocamlrun for arch Y. So, = if you > wanted, you can have host <> build on your own. All true, but what counts is how easy it is to do this in practice. In the = end you say it is not required to have this because it is more or less triv= ial for Ocaml. But in practice it doesn't look like this is really the case. Btw.: I think we are talking about host<>target. Build (in gcc terms this i= s the OS on which gcc is build) is likely almost always Cygwin and I don't = see a good reason to change this. > That said, this is only the explanation why host<>build was so far not of > special interest. I guess host<>target would be easiest to get opam to work and opam would be= best for those who are mostly working on Linux but want to support Windows= binaries. > The Makefile.nt system exists mainly for the MSVC build. I also think tha= t the > mingw build would be better done with the Makefiles. I see. I guess an Ocaml build is very special, but did the Ocaml community = ever consider cmake or bakefiles? The main advantage, besides supplying cro= ss platform builds in a maintainable way, is that they also supply IDE proj= ect files, which makes it more comfortable to work on Ocaml itself, especia= lly libraries. 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