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 BDD737FEFE for ; Sat, 25 Jun 2016 16:10:14 +0200 (CEST) IronPort-PHdr: 9a23:aq9fnxZ67qZPRsYbHA5SgAL/LSx+4OfEezUN459isYplN5qZpMy9bnLW6fgltlLVR4KTs6sC0LuO9fixEjJeqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3pzxj7H5pcObSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mouJJT6T2N408SadfFCxuZ2wv7YjtuAbYZQ6C+nIHTmwdkVxDBA2TqFmwVZ70tm7+t/Fh8CicJ8z/C74uE3z25K5uTFrsiTwbHz8/6mDezMJq2vF1uhWk8lZExIPbfJuSLL42W6LWfdoXQSAJCsNQXCxID4f6dIwCAPYbOv5wro/hql9Iphy7U1r/TNjzwyNF0yellZYx1P4sRFnL 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: A0CjAACUj25Xh0GIhoZchBR9BrojgXsihXYCgSI4FAEBAQEBAQEBEQEBAQgNCQkhL4IyghwEAToPNQ0BFhQUQiYBBAEaiCAHAQ7HGAEBCAEBAQEBIoYpg0mFRYMqgi8FmHsGAYEwhFeKGI07hlSJKx6CTyKBNW6ISQF+AQEB X-IPAS-Result: A0CjAACUj25Xh0GIhoZchBR9BrojgXsihXYCgSI4FAEBAQEBAQEBEQEBAQgNCQkhL4IyghwEAToPNQ0BFhQUQiYBBAEaiCAHAQ7HGAEBCAEBAQEBIoYpg0mFRYMqgi8FmHsGAYEwhFeKGI07hlSJKx6CTyKBNW6ISQF+AQEB X-IronPort-AV: E=Sophos;i="5.26,527,1459807200"; d="scan'208";a="182678117" Received: from mga03.intel.com ([134.134.136.65]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Jun 2016 16:10:13 +0200 Received: from fmsmga001.fm.intel.com ([10.253.24.23]) by orsmga103.jf.intel.com with ESMTP; 25 Jun 2016 07:09:53 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.26,527,1459839600"; d="scan'208";a="994931917" Received: from irsmsx105.ger.corp.intel.com ([163.33.3.28]) by fmsmga001.fm.intel.com with ESMTP; 25 Jun 2016 07:09:51 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.10]) by irsmsx105.ger.corp.intel.com ([169.254.7.51]) with mapi id 14.03.0248.002; Sat, 25 Jun 2016 15:09:49 +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+GZmI1MmdjVEA== Date: Sat, 25 Jun 2016 14:09:49 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3BA@IRSMSX102.ger.corp.intel.com> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.180] Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Flexdll circular dependency fix uses system provided flexdll.h [was: opam-cross-windows] Dear David, I just managed now to test the flexdll dependency fix in 4.03.0 you mention= ed in your post from March 15th: > 1. Ensure FlexDLL sources are in flexdll/ in the OCaml build tree > 1a. If you're building from a git clone, issue git submodule update --init > 1b. If you're building from a sources tarball, issue git clone > https://= github.com/alainfrisch/flexdll.git > 2. Follow usual configuration steps in config/ > 3. make -f Makefile.nt flexdll world opt opt.opt install It is much better than it was, but I think there is still a minor flaw in i= t. When compiling byterun/win32.c (from asmrun) in the make opt phase, it d= oesn't find flexdll.h because gcc doesn't have an -I ../flexdll. If I copy = flexdll.h to a system include directory it works fine. Is it possible that = you had a flexdll.h somewhere and the build took it from there rather than = from the flexdll subfolder when you tried this? Also I think specific versions of OCaml should copy specific versions of fl= exdll. A git clone of the trunk version might lead to unexpected effects in= the future and it might be hard to reconstruct older OCaml versions later. 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