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 10DAE7FEEB for ; Sun, 26 Jun 2016 19:26:32 +0200 (CEST) IronPort-PHdr: 9a23:PoiI+RbElQYqcYtbRPQHt0//LSx+4OfEezUN459isYplN5qZpMyzbnLW6fgltlLVR4KTs6sC0LuO9fm4EjVbsN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkbnqsMSIMk1hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVfazkfqhwZLhcFzM+Kyhh6Nfi8B/OUhCn43YAW34KmxFLRQPC6Ue+Ft36uy7+8+58wzWyPMvsTLlyVy7op/NgQRrszSMGLCIR8WfNi8U2grgN8zy7oBkqibXTbY6JLv1mOuv4fNgaTGdFFI4FUi1KAoqxa80UCOcOIfxft6H8oUcDqV21Agz6V7Cn8SNBmnKjhf5y6O8mCwyThAE= 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@mga04.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=192.55.52.120; 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 192.55.52.120 as permitted sender) identity=mailfrom; client-ip=192.55.52.120; 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@mga04.intel.com) identity=helo; client-ip=192.55.52.120; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga04.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A5AABID3BXh3g0N8BVBoQUfQa6JYF7GoV+AoEiOBQBAQEBAQEBAREBAQEIDQkJIS+CMoIaAQEBAwE6DzULAgEIDhQUEDIlAgQBGoggBwHHRAEBAQcBAQEBASKGKYNJgQOEMhCDKoIvBZh7BgGdWo9/HoJPIoE1bohZAX4BAQE X-IPAS-Result: A0A5AABID3BXh3g0N8BVBoQUfQa6JYF7GoV+AoEiOBQBAQEBAQEBAREBAQEIDQkJIS+CMoIaAQEBAwE6DzULAgEIDhQUEDIlAgQBGoggBwHHRAEBAQcBAQEBASKGKYNJgQOEMhCDKoIvBZh7BgGdWo9/HoJPIoE1bohZAX4BAQE X-IronPort-AV: E=Sophos;i="5.26,532,1459807200"; d="scan'208";a="182779968" Received: from mga04.intel.com ([192.55.52.120]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Jun 2016 19:26:30 +0200 Received: from fmsmga001.fm.intel.com ([10.253.24.23]) by fmsmga104.fm.intel.com with ESMTP; 26 Jun 2016 10:26:28 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.26,532,1459839600"; d="scan'208";a="995397338" Received: from irsmsx107.ger.corp.intel.com ([163.33.3.99]) by fmsmga001.fm.intel.com with ESMTP; 26 Jun 2016 10:26:27 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by IRSMSX107.ger.corp.intel.com ([169.254.10.96]) with mapi id 14.03.0248.002; Sun, 26 Jun 2016 18:26:27 +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+GZmI1MmdjVEAAEC4CgAABn19AAAO7vIAAByBBgAAHntPAAHlelAAAJ3IMAAAeAmIA= Date: Sun, 26 Jun 2016 17:26:26 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B5FB@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> 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: 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, > This isn't a great way - better is to override the detection of FLEXDIR a= few lines > later (the FLEXDIR:=3D line): > sed -I "s|FLEXDIR:=3D.*|FLEXDIR=3D|" config/Makefile I thought about this, but I wonder if this would use the correct flexdll.h,= but still the wrong flexlink. I thought it would be safer to point it to t= he right flexlink and derive the flexdll.h location from there.=20 The mingw cross compiler + standard library builds fine, but then when I us= e it, it doesn't find pervasives, although the pervasives.cmx is in the fol= der ocamlc -config says it should be. I guess something went wrong with the= flexlink process. Is there some way to see from ocamlc - config if flexlin= k support is there? Or is there another way to check if flexlink is the pro= blem? Regarding the Cygwin build: I have no issue with this, it just takes a few = minutes. I just wanted to make sure I don't do this in an unusual way.=20 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