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 187737FEFE for ; Sat, 25 Jun 2016 20:13:51 +0200 (CEST) IronPort-PHdr: 9a23:mpcpfhX2Qw4pPO1hpEiKTPTE0rnV8LGtZVwlr6E/grcLSJyIuqrYZxSOt8tkgFKBZ4jH8fUM07OQ6PG4HzRRqs/Y7DgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLHqvcWCKFwR2HKUWvBbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv50IbaKvU60mTLAQJTAiKGct/IW/uQPKCA2C+WA0V2gKmwFUCgPGqhr9W8G1+mHxv+95nS2bJtHeTLYuWD3k4b0hAEvjgSIDcjo4633/i8pqjasdrgj39DJlxIuBKrqSOfViZKTFOZs/RGFBV8tVHWQVB4K3b4ICC6waOutXs5P6v3MPqwezAU+nA+a5mWwAvWP/waBvi7dpKgrBxgF1R98= 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@mga03.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.65; 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.65 as permitted sender) identity=mailfrom; client-ip=134.134.136.65; 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@mga03.intel.com) identity=helo; client-ip=134.134.136.65; receiver=mail3-smtp-sop.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: A0DGAAA+yW5Xh0GIhoZchBR9BgG6JIF7IoV2AoEiOBQBAQEBAQEBAREBAQEIDQkJIS+CMoIaAQEBAwE6DzULAgEIDhQUEDIlAQEEARqIIAcBDscnAQEBAQEFAQEBAQEBAQEBHoYpg0mBA4RCgyqCLwWYewYBhgeKZoxtj38egk8igTVuAQGIRwF+AQEB X-IPAS-Result: A0DGAAA+yW5Xh0GIhoZchBR9BgG6JIF7IoV2AoEiOBQBAQEBAQEBAREBAQEIDQkJIS+CMoIaAQEBAwE6DzULAgEIDhQUEDIlAQEEARqIIAcBDscnAQEBAQEFAQEBAQEBAQEBHoYpg0mBA4RCgyqCLwWYewYBhgeKZoxtj38egk8igTVuAQGIRwF+AQEB X-IronPort-AV: E=Sophos;i="5.26,527,1459807200"; d="scan'208";a="182697683" Received: from mga03.intel.com ([134.134.136.65]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Jun 2016 20:13:48 +0200 Received: from orsmga001.jf.intel.com ([10.7.209.18]) by orsmga103.jf.intel.com with ESMTP; 25 Jun 2016 11:13:47 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.26,527,1459839600"; d="scan'208";a="983221553" Received: from irsmsx106.ger.corp.intel.com ([163.33.3.31]) by orsmga001.jf.intel.com with ESMTP; 25 Jun 2016 11:13:46 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by IRSMSX106.ger.corp.intel.com ([169.254.8.145]) with mapi id 14.03.0248.002; Sat, 25 Jun 2016 19:13:45 +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+GZmI1MmdjVEAAEC4CgAABn19AAAO7vIAAByBBg Date: Sat, 25 Jun 2016 18:13:44 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B4AC@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3BA@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B41D@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, > What's your precise sequence of commands (right from untarring or git clo= ne)? > Is this from a git clone or a released tarball? I use this tarbal:=20 https://github.com/ocaml/ocaml/archive/4.03.0.tar.gz I try to create a mingw cross ocaml on Cygwin, which I guess is a bit uncom= mon. My command sequence is: < download and untar https://github.com/ocaml/ocaml/archive/4.03.0.tar.= gz > git clone https://github.com/alainfrisch/flexdll.git cp config/m-nt.h config/m.h cp config/s-nt.h config/s.h cp config/Makefile.mingw64 config/Makefile make -f Makefile.nt flexdll make -f Makefile.nt world make -f Makefile.nt opt make -f Makefile.nt opt.opt I already have a cygqin ocaml installed in the usual paths, I guess this le= ads to confusion. Probably I should give a PREFIX=3Dsomething argument to m= ake. If you are interested, I can send you two scripts to setup a clean Cygwin a= nd reproduce the issue, but I guess with the pointers you gave me, I should= be able to figure it out myself. Just two questions: 1.) in your .comp files I saw a win32.sh. Where is this from? It doesn't ap= pear in the 4.03.0 tar ball mentioned above. 2.) How far is the windows opam and what build environment do you use for t= his? Cygwin mingw cross? Should I give it a try? 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