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 47FF27EEB9 for ; Mon, 26 Oct 2015 09:54:42 +0100 (CET) IronPort-PHdr: 9a23:M3ieAhejp70fLJ4QQut9jkgJlGMj4u6mDksu8pMizoh2WeGdxc+7YR7h7PlgxGXEQZ/co6odzbGG7ua5ASdZu8fJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviptuKO04R3mv1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GJBREjUqe0kx4NbsrQGLGQeV7z4aX3oNuh9FHwHe8BjxXdH6tS6s8qI30yCfOYjyTKsocTWk9aZiDhHywm9TPDc89CTTi9dspKNduhOo4RJlld36eoaQYbBFea7SYckdXS4Je8daVyVMBsn0O44OBOoIMOIetI7wqEcUqgOWBA+wCeepwThN0CyllZYm2vgsRFmVlDcrGMgD5SzZ 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: A0BAAACH6S1WmxiIhoZdgmmBIW8GvjcBDSOBNxcBC4V6AoElOBQBAQEBAQEBARABAQEBAQgJCwkhLoIrgggBAQQtHCsVAgEIDgISGQsyJQEBBAEaiCcBDcQWAQEBAQEBAQEBAQEBAQEBAQEBAQEBGIZ5hHyEXC0Lgi4MQx2BFAWWNgGFG4lflmaDcB8BAYJpHYE/coYSgQYBAQE X-IPAS-Result: A0BAAACH6S1WmxiIhoZdgmmBIW8GvjcBDSOBNxcBC4V6AoElOBQBAQEBAQEBARABAQEBAQgJCwkhLoIrgggBAQQtHCsVAgEIDgISGQsyJQEBBAEaiCcBDcQWAQEBAQEBAQEBAQEBAQEBAQEBAQEBGIZ5hHyEXC0Lgi4MQx2BFAWWNgGFG4lflmaDcB8BAYJpHYE/coYSgQYBAQE X-IronPort-AV: E=Sophos;i="5.20,200,1444687200"; d="scan'208,217";a="184432315" Received: from mga09.intel.com ([134.134.136.24]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Oct 2015 09:54:40 +0100 Received: from orsmga001.jf.intel.com ([10.7.209.18]) by orsmga102.jf.intel.com with ESMTP; 26 Oct 2015 01:54:38 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,200,1444719600"; d="scan'208,217";a="803015553" Received: from irsmsx103.ger.corp.intel.com ([163.33.3.157]) by orsmga001.jf.intel.com with ESMTP; 26 Oct 2015 01:54:37 -0700 Received: from irsmsx112.ger.corp.intel.com (10.108.20.5) by IRSMSX103.ger.corp.intel.com (163.33.3.157) with Microsoft SMTP Server (TLS) id 14.3.248.2; Mon, 26 Oct 2015 08:54:36 +0000 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.98]) by irsmsx112.ger.corp.intel.com ([169.254.1.218]) with mapi id 14.03.0248.002; Mon, 26 Oct 2015 08:54:36 +0000 From: "Soegtrop, Michael" To: David Allsopp , "caml-list@inria.fr" Thread-Topic: flexdll circular dependency on ocamlc: Impossible to built ocaml for mingw without using some prebuilt binaries? Thread-Index: AdEOQWsyPDiuTuX3RGe00BbDnTwYuQACZA7QAF/XKkA= Date: Mon, 26 Oct 2015 08:54:35 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE335D5@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE331EE@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.182] Content-Type: multipart/alternative; boundary="_000_0F7D3B1B3C4B894D824F5B822E3E5A172CE335D5IRSMSX102gercor_" MIME-Version: 1.0 Subject: RE: [Caml-list] flexdll circular dependency on ocamlc: Impossible to built ocaml for mingw without using some prebuilt binaries? --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CE335D5IRSMSX102gercor_ Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Dear David, Note that your Cygwin build-route really is missing a step - you're bootstr= apping, so the final stage should be recompiling flexlink using your new oc= amlopt (the compilers do indeed need flexlink), then the dependency on Cygw= in disappears. For my own builds, I extract flexlink.exe from Alain's binar= y distribution, build the FlexDLL objects from sources, compile OCaml and t= hen recompile flexlink.exe using the that fresh compiler and replace the ea= rlier binary copy. See, for example, https://github.com/dra27/OCaml-Windows= -Build/blob/master/build.cmd#L527-L570 Sure, if I go this way, I should do this. But it looks like a bit of overki= ll to build a native ocaml compiler to bootstrap flexdll. Also Ocaml is not= very good at handling different compiler variants, so I would have to unin= stall the native Ocaml after building flexdll. So for the time being I am u= sing the binary version. I think about compiling flexlink from sources afte= r building Ocaml. At some point, I was going to alter things so that FlexDLL is the only requ= irement for pre-installation (as that can be built from source) and have th= e ocaml process use boot/flexlink if a binary flexlink isn't available... b= ut as that's only to satisfy a religious fervour to remove the circular dep= endency, it's right down at the bottom of my personal task list, especially= as I doubt it would be merged :o) True, it is not a showstopper. I just mentioned it here to make sure I didn= 't overlook something. 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 --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CE335D5IRSMSX102gercor_ Content-Type: text/html; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable

Dear David,=

 

Note that your Cygwin build-rou= te really is missing a step – you’re bootstrapping, so the fina= l stage should be recompiling flexlink using your new ocamlopt (the compilers do indee= d need flexlink), then the dependency on Cygwin disappears. For my own buil= ds, I extract flexlink.exe from Alain’s binary distribution, build th= e FlexDLL objects from sources, compile OCaml and then recompile flexlink.exe using the that fresh compiler and re= place the earlier binary copy. See, for example, https://github.com/dra27/OCaml-Windows-Build/blob/master/build.cmd#L527-L57= 0

&n= bsp;

Sure, i= f I go this way, I should do this. But it looks like a bit of overkill to b= uild a native ocaml compiler to bootstrap flexdll. Also Ocaml is not very g= ood at handling different compiler variants, so I would have to uninstall the native Ocaml after building flexdll. So f= or the time being I am using the binary version. I think about compiling fl= exlink from sources after building Ocaml.

&n= bsp;

At some point, I was going to a= lter things so that FlexDLL is the only requirement for pre-installation (a= s that can be built from source) and have the ocaml process use boot/flexli= nk if a binary flexlink isn’t available… but as that’s only to satisfy a religious fervour to remove the circ= ular dependency, it’s right down at the bottom of my personal task li= st, especially as I doubt it would be merged :o)

&n= bsp;

True, i= t is not a showstopper. I just mentioned it here to make sure I didn’= t overlook something.

&n= bsp;

Best re= gards,

&n= bsp;

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

--_000_0F7D3B1B3C4B894D824F5B822E3E5A172CE335D5IRSMSX102gercor_--