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 050D67FEFE for ; Sat, 25 Jun 2016 18:13:17 +0200 (CEST) IronPort-PHdr: 9a23:8yLSLRYIFG+rBYLsHJt54If/LSx+4OfEezUN459isYplN5qZpM6zbnLW6fgltlLVR4KTs6sC0LuO9fixEj1bqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3pzxj7H5qsabSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45ihjh7OQheV4WNYGkAXmRpBDgyPpEX/X5zxuyb+8PF61SaGJ8ruZbEyRTmmqaxsTUmswG0MPjs9tWXWkdBYjaRBoRvnqQY1i9rfaYSRcf5/Zb/1fNUARGMHUNwHBAJbBYbpQ4IRDuZJFOJctI7lvxNaoQG3QA+hG/jHzzJUj2Tq1KY5le8mFFeVj0QbA9sSvSGM/53OP6AIXLXwlfGQwA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail148109.authsmtp.co.uk Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.148.109; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dra-news@metastack.com designates 62.13.148.109 as permitted sender) identity=mailfrom; client-ip=62.13.148.109; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.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@outmail148109.authsmtp.co.uk) identity=helo; client-ip=62.13.148.109; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148109.authsmtp.co.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AAAADorG5Xl22UDT5cgxGBA30GpUgGlFWBeySFdAKBIjgUAQEBAQEBAQERAQEBAQEIFgdQgjKCGgEBAQMBAzdECwIBCBgKFBAyJQEBBAEaFogKCQMBCccpAQEIAQEBAQEBARsFhWCEEoEDhEKDKoIvBZkBhgiILwqBX407hlSJKx6CTyKBNW4BAQGIRn8BAQE X-IPAS-Result: A0AAAADorG5Xl22UDT5cgxGBA30GpUgGlFWBeySFdAKBIjgUAQEBAQEBAQERAQEBAQEIFgdQgjKCGgEBAQMBAzdECwIBCBgKFBAyJQEBBAEaFogKCQMBCccpAQEIAQEBAQEBARsFhWCEEoEDhEKDKoIvBZkBhgiILwqBX407hlSJKx6CTyKBNW4BAQGIRn8BAQE X-IronPort-AV: E=Sophos;i="5.26,527,1459807200"; d="scan'208";a="224072938" Received: from outmail148109.authsmtp.co.uk ([62.13.148.109]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Jun 2016 18:13:16 +0200 Received: from mail-c232.authsmtp.com (mail-c232.authsmtp.com [62.13.128.232]) by punt22.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u5PGDFgs041393; Sat, 25 Jun 2016 17:13:15 +0100 (BST) Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u5PGDEVC022646 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Sat, 25 Jun 2016 17:13:14 +0100 (BST) Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id u5PGDDbI025815 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO); Sat, 25 Jun 2016 17:13:13 +0100 Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0279.002; Sat, 25 Jun 2016 17:13:12 +0100 From: David Allsopp To: "Soegtrop, Michael" , "caml-list@inria.fr" Thread-Topic: Flexdll circular dependency fix uses system provided flexdll.h [was: opam-cross-windows] Thread-Index: AdHO6zYKgQgikXKpQ+GZmI1MmdjVEAAEC4Cg Date: Sat, 25 Jun 2016 16:13:12 +0000 Message-ID: References: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3BA@IRSMSX102.ger.corp.intel.com> In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CF1B3BA@IRSMSX102.ger.corp.intel.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.29] Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: b880a19e-3aef-11e6-829e-00151795d556 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgdBAnNE XXkJW1VSQFx2U2J2 YQtVIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFsbMm4GAmM1eHxy Y0JkEHdZX0I0J051 Qh9VHDgbZjY1Pn0e URVeagtWeVZXfh9E b1F4XXZZZGABKBgV TUcdOz0hMTFbYC9U WAoQKVsICUoGBjM6 Sx0EFiRnE0wVDzgo IgduMU8HAEsUel0o NkUgVV8UexEWBx1S G0ULAE0RFEYIXHhj ChtTWAsVCjpGWmJD AxskJQBTN1QI X-Authentic-SMTP: 61633634383431.1037:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] Flexdll circular dependency fix uses system provided flexdll.h [was: opam-cross-windows] Michael Soegtrop wrote: > Dear David, >=20 > I just managed now to test the flexdll dependency fix in 4.03.0 you > mentioned in your post from March 15th: >=20 > > 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 >=20 > It is much better than it was, but I think there is still a minor flaw in > it. When compiling byterun/win32.c (from asmrun) in the make opt phase, it > doesn'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? I'm not convinced this is a fundamental flaw - I think it more likely that = you have an existing flexlink in PATH, which will cause config/Makefile to = pick up the wrong include directory. I think it likely if you study the fai= ling command during make -f Makefile.nt opt you will see a -I pointing to y= our PATH'd flexlink.exe directory. Does it work if you remove your system included flexdll.h and alter config/= Makefile to delete the line FLEXDIR:=3D (a la https://github.com/dra27/opam= -repository/blob/next-windows/packages/ocaml/ocaml.4.03.0/files/win.sh#L9)? > Also I think specific versions of OCaml should copy specific versions of > flexdll. Yes and no - this is a bit like insisting that a given OCaml version be bui= lt with a specific version of gcc. At present, OCaml 3.11 (when flexlink wa= s introduced) still builds just fine with trunk flexdll. > 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. A git clone of trunk will use the version of flexdll configured at the time= - that's how git submodules work (because it stores a commit SHA, not a br= anch). Best, D