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 E4EB37FEFE for ; Sat, 25 Jun 2016 18:31:33 +0200 (CEST) IronPort-PHdr: 9a23:k29gWxEzeXg6ew3vqWlWhZ1GYnF86YWxBRYc798ds5kLTJ74p8uwAkXT6L1XgUPTWs2DsrQf2rKQ6/GrCDFIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14LvhqvjptX6WEZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V028deUKmyVqA8VrtAFHxyP3o8ocvmqgLrSAaT72AAW24V1BFPBl6BpFvxV5L19y/7rfZV2S+APMSwQ6p+EWCp5qJvDRvpkzsvNjgj8WiRhNYm34xBpxf07Sd4zoHIeoaNcLJbf6jddN4eDyIVW8daVyVMBsWnaIYAE/AGJc5ZqZXwox0Fqh7oVlrkP//m1jId3iy+5qY9yel0SQw= 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: A0DGAABlsG5Xh3g0N8BchBR9BgG6IoF7GoV+AoEiOBQBAQEBAQEBAREBAQEIDQkJIS+CMoIaAQEBAwE6DzULAgEIDhQUEDIlAQEEARqIIAcBxz4BAQEHAQEBAQEBASCGKYRMhEKDKoIvBZh7BgGdWo9/HoJPIoE1bohJAX4BAQE X-IPAS-Result: A0DGAABlsG5Xh3g0N8BchBR9BgG6IoF7GoV+AoEiOBQBAQEBAQEBAREBAQEIDQkJIS+CMoIaAQEBAwE6DzULAgEIDhQUEDIlAQEEARqIIAcBxz4BAQEHAQEBAQEBASCGKYRMhEKDKoIvBZh7BgGdWo9/HoJPIoE1bohJAX4BAQE X-IronPort-AV: E=Sophos;i="5.26,527,1459807200"; d="scan'208";a="182687249" Received: from mga04.intel.com ([192.55.52.120]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Jun 2016 18:31:32 +0200 Received: from orsmga003.jf.intel.com ([10.7.209.27]) by fmsmga104.fm.intel.com with ESMTP; 25 Jun 2016 09:31:31 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.26,527,1459839600"; d="scan'208";a="835112322" Received: from irsmsx152.ger.corp.intel.com ([163.33.192.66]) by orsmga003.jf.intel.com with ESMTP; 25 Jun 2016 09:31:30 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by IRSMSX152.ger.corp.intel.com ([169.254.6.247]) with mapi id 14.03.0248.002; Sat, 25 Jun 2016 17:31:29 +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+GZmI1MmdjVEAAEC4CgAABn19A= Date: Sat, 25 Jun 2016 16:31:28 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B41D@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3BA@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, > I'm not convinced this is a fundamental flaw - I think it more likely tha= t you have an existing flexlink > in PATH, which will cause config/Makefile to pick up the wrong include di= rectory. I think it likely if > you study the failing command during make -f Makefile.nt opt you will see= a -I pointing to your > PATH'd flexlink.exe directory. I have no system installation of flexdll. The compilation fails in my case,= because there is no flexdll.h at all, except the one in the flexdll folder= of ocaml. The only -I option when win32.c is compiled in asmrun is -I../by= terun. Does the flexdll make in ocamlc a local build of flexdll, or does it instal= l flexdll somewhere globally? In the first case I think a -I../flexdll is m= issing, in the second case I guess I might miss some install prefixes. > A git clone of trunk will use the version of flexdll configured at the ti= me - that's how git submodules > work (because it stores a commit SHA, not = a branch). Does this also work if I get the ocaml sources as a tar ball rather than vi= a a git clone? 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