From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D29E57EEB9 for ; Mon, 26 Oct 2015 12:13:25 +0100 (CET) IronPort-PHdr: 9a23:fw6c+BLfnqrSgmvxj9mcpTZWNBhigK39O0sv0rFitYgVLfnxwZ3uMQTl6Ol3ixeRBMOAu68C0rOd6fyocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLujqvop9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DDHRAqJrlUGU34dklIcCgzM7Re8UI3wqSD6nu5wyCiUPIv9SrViHXzo1KBmRwPyjz9Dfxs4+2Heh8g6xPZeoRmhrhF7hZXTbY6JLv1mVqLbYd4eA2FGW5AVH2ZKC4a4Ko8OFPYpPOBCroC7qUFE5U+1DAyoQefu0SNgh3ns3KR83f53Qi/c2wl1M9sQsXichdHxL6AKSajhwLPBiDPOcOh+3Drh4ZPUexsi5/qLWOQjIoLq1UAzGlad3R2roov/MmbQj7xVvg== Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.148.109; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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: A0A/AQDJCS5WmW2UDT5egwqBdalHBpR7gVqDRoJXAoErORMBAQEBAQEBARABAQEBAQgLCwchLoIrggcBAQEDAQM3RAsCAQgYChQFCzIXAQ0BAQQBGoggCQPEIwEBAQcBAQEBAQEdhjCFRYRcOIMagRQFljaNIgacKSIBgmcdgT+HBIEGAQEB X-IPAS-Result: A0A/AQDJCS5WmW2UDT5egwqBdalHBpR7gVqDRoJXAoErORMBAQEBAQEBARABAQEBAQgLCwchLoIrggcBAQEDAQM3RAsCAQgYChQFCzIXAQ0BAQQBGoggCQPEIwEBAQcBAQEBAQEdhjCFRYRcOIMagRQFljaNIgacKSIBgmcdgT+HBIEGAQEB X-IronPort-AV: E=Sophos;i="5.20,201,1444687200"; d="scan'208";a="151759596" Received: from outmail148109.authsmtp.co.uk ([62.13.148.109]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Oct 2015 12:13:24 +0100 Received: from mail-c232.authsmtp.com (mail-c232.authsmtp.com [62.13.128.232]) by punt23.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t9QBDN63059629; Mon, 26 Oct 2015 11:13:23 GMT 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 t9QBDLYT046967; Mon, 26 Oct 2015 11:13:22 GMT 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 t9QBDK1J006061 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=FAIL); Mon, 26 Oct 2015 11:13:20 GMT 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.0248.002; Mon, 26 Oct 2015 11:13:20 +0000 From: David Allsopp To: Alain Frisch , "Soegtrop, Michael" , "caml-list@inria.fr" Thread-Topic: [Caml-list] flexdll circular dependency on ocamlc: Impossible to built ocaml for mingw without using some prebuilt binaries? Thread-Index: AdEOQWsyPDiuTuX3RGe00BbDnTwYuQAC4y2AAAMYX1AAXkZxAAADDV+Q Date: Mon, 26 Oct 2015 11:13:19 +0000 Message-ID: References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE331EE@IRSMSX102.ger.corp.intel.com> <562B75D7.1000900@frisch.fr> <562DF538.3040306@lexifi.com> In-Reply-To: <562DF538.3040306@lexifi.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.18] 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: 91beff32-7bd2-11e5-829e-00151795d556 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgdCAnZS R3kJW1VRQFxwU2J2 YQhTIwdcYVRPXwB0 UklLXFNTEBpqBAMB SFoXM2sGC2wieHp2 bEBlEHFaXER9O098 EBsCQ24EeGAyPGIC UUENch5ccgofYx9F a1V+U3oINWACYDQC Ml17DBs4ODEaLCVO XjRFI1YfUUoPGnY3 RgoJADEmBwUJSj0+ KRArLFUNVEEXekI5 OF4lUgBQEhoKDRZF HktJDU0RO15JTTcq CR8SWkUXFTkVTyBG ShgpJBBXSiNTRipf GVcNVgoODSwNSy5N RX5FSCAnEVktOwog MyIWKwA8AEpW 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 on ocamlc: Impossible to built ocaml for mingw without using some prebuilt binaries? Alain Frisch wrote: > On 24/10/2015 14:51, David Allsopp wrote: > > Alain Frisch wrote: > >> On 24/10/2015 11:50, Soegtrop, Michael wrote: > >>> Also I wonder why flexdll/flexlink is required. The documentation of > >>> flexdll states: > >>> > >>> Windows DLL cannot refer to symbols defined in the main application > >>> or in previously loaded DLLs. > >>> > >>> In my experience this is not true. At least when using MSVC one can > >>> declare functions in the main executable as DLL-export. Then when > >>> linking the main executable an import library is created in the same > >>> way as when building a DLL by the linker. The DLL can then link to > >>> this import library and can access the functions in the main > >> executable. > >> > >> Dynlink follows a different model: dynlinked units are not tied to a > >> specific main executable. A myplugin.cmxs can be dynamically linked > >> by any application that provides the required interfaces. > > > > Wouldn't that still be true with the .def/.a approach, though? >=20 > I don't see how this would work without changing the compilation model. > Would you generate an import library for each .cmi file? Yes - but I wasn't taking the compilation model as fixed. I was (purely hyp= othetically, obviously!) imagining that flexlink (or some such) linker was = still there and that it would generate the appropriate .def/.a files to all= ow the dll to be compiled, as it would also have access to the required .cm= i files. That's quite similar to what flexlink already does, isn't it - jus= t generating an import library to trick the actual/underlying linker rather= than building separate tables embedded into .o/.obj files which get linked= as well.=20 But...=20 > Also keep in mind that currently, dynlinked code can access directly data > symbols from the main program (not just function calls that can more > easily go through an import library). ... that sounds like the real "elevator explanation" for why things are as = they are! David