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 C83F37F1AA for ; Thu, 10 Sep 2015 18:57:32 +0200 (CEST) IronPort-PHdr: 9a23:gKHD5RXhQSFtxBWkc7acasjeEmLV8LGtZVwlr6E/grcLSJyIuqrYZh2Ct8tkgFKBZ4jH8fUM07OQ6PC8HzVeqs/Z7zgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2PJVwWz2PlPvtbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrcrkcbB16XmBNTHwnI6lnaX5H9vzH3rKIp4ySQNNbqTL0yHxSj6atmUhLyoCYBLT8wtm/N3J9elqVe9T2svRA3+JLTZJmQPfx4Nvfce90dbWVMRMoUTDBGBpu5Zo0JSeYMa7UL57LhrkcD+EPtTTKnA/nin3oR3if7 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.17.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AiAQA+tfFVmw0R49Rdg3dpvyYGhX0CgU48EAEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBAwFVJAULC0ZXBhMJiB0MCcwSAQEBAQEBBAEBAQEBHYV4hXaEZiYHgi4MQYExBYcxjiV3Ao1NhywDjhGDbDiELW8BiEgBAQE X-IPAS-Result: A0AiAQA+tfFVmw0R49Rdg3dpvyYGhX0CgU48EAEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBAwFVJAULC0ZXBhMJiB0MCcwSAQEBAQEBBAEBAQEBHYV4hXaEZiYHgi4MQYExBYcxjiV3Ao1NhywDjhGDbDiELW8BiEgBAQE X-IronPort-AV: E=Sophos;i="5.17,505,1437429600"; d="asc'?scan'208";a="145393337" Received: from mout.kundenserver.de ([212.227.17.13]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Sep 2015 18:57:31 +0200 Received: from office1.lan.sumadev.de ([88.69.138.237]) by mrelayeu.kundenserver.de (mreue102) with ESMTPSA (Nemesis) id 0MFLHA-1ZNvXL1bNM-00EKJf; Thu, 10 Sep 2015 18:57:31 +0200 Received: from [192.168.5.106] (thinkpad.lan.sumadev.de [192.168.5.106]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id D6A7CDC05D; Thu, 10 Sep 2015 18:57:30 +0200 (CEST) Message-ID: <1441904239.2811.19.camel@thinkpad.lan.sumadev.de> From: Gerd Stolpmann To: =?ISO-8859-1?Q?S=E9bastien?= Hinderer Cc: caml-list@inria.fr Date: Thu, 10 Sep 2015 18:57:19 +0200 In-Reply-To: <20150910120830.GA3444@pl-59055.rocqadm.inria.fr> References: <20150909130919.GA3980@pl-59055.rocqadm.inria.fr> <20150909132919.GA4196@pl-59055.rocqadm.inria.fr> <55F03555.6040306@inria.fr> <20150909134401.GA4359@pl-59055.rocqadm.inria.fr> <1441814599.2811.6.camel@thinkpad.lan.sumadev.de> <20150910120830.GA3444@pl-59055.rocqadm.inria.fr> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-/jrAeewRCZYzarDZy3+S" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:Svy1xWKxxYi4rf+FA+pQRQGL6/GxTlN2GM41I/hyVKkAekD1ZWd WkaB6GY+J9fr/u1tzQUi1axMEpKkuzqOekOj4vs+3HOZ5QG3Noxw5dEwIK2hgkbOwpURaz+ wEeGggdai7nDTdMbRIHQ93A6Q4Eq9aEXEK8cf3hNcMV5Eu2x4MytRo6MBwJMWfJAJwbGPRU fQxbB7d1Yn4ZYCCHtE4xQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:lSyeXwSpU30=:nUFG1SWMh8MDv0AieBHHvg +TzalbJNMP6rQRzU9d9lrhvbNppw/GLcouaL2U48s6nmEQqmgPKc9uVW9wIdeypd7zK9cn48f 5ts2atjoFglrvOJM3aBZX6WOwgoMrfShgdfub/Jy/C2/6GPUqZ0blijnlqBITKZCrPpG7VsTY gBM9ee08JAa/09R31Vdszc+1jS51yndAybZWkhJiKjqLo52vU8t5/g9zA6tSVG0W8avIkFej+ uMwFrSJzzu8jZMDSduXbiCVwe6pPSWVhMMYLdy8qlJsR9uTcwP1Dx/vgsVDD8xMx+OPoDpaK8 u2Qyvwb4c6GYT+gV03p7GB/SdTfxaDM9dp0VSBzWifN7CvnkQK38hRnkc6nR+6Ozov9ye66/R qeNYB0Z+ZX6comErqA5zH7lq33nQK4hC//6Of2t5F7VoPBwAFDjBjtY8kvdDx/59p9rOL2n7q rPM0IJaqu9DUjWlMuy9mhfNrGeFSlyJ93gL9Jz9Ydi1drXOji35hk5mXtwNjV/OX5BqffTnA4 UdVW0xCDMPlurmedovtnfQSAT5tfjWT9Vij1QPLXooLMoncEhmvY9o/WJEhTwKI7lvOpHOkJe O9UFPTu4oK1abPTonIwxLHsr/QO3vGlSH/h+FUak+8v03FVUpmTHsCmh98vdjRfSFoyswdlf7 6Zv+YThI9kk9B4X78Ms1SoIODGuU1xo6CWPt/JvoO/lRa0ilc0rZWzk5cunGHq65FnyE= Subject: Re: [Caml-list] Dynlink --=-/jrAeewRCZYzarDZy3+S Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Donnerstag, den 10.09.2015, 14:08 +0200 schrieb S=E9bastien Hinderer: > Hi Gerd, >=20 > Gerd Stolpmann (2015/09/09 18:03 +0200): > > Am Mittwoch, den 09.09.2015, 15:44 +0200 schrieb S=E9bastien Hinderer: > > > Dear Xavier, > > >=20 > > > Many thanks for your response. > > >=20 > > > > You can't get more precise than the configure script of OCaml :-) > > >=20 > > > Sure! > > >=20 > > > > > Is there a way for a configure script to programmatically determi= ne the > > > > > availability of the feature on one given platform? > > > >=20 > > > > Just check for the presence of dynlink.cmxa in OCaml's standard > > > > library directory. > > >=20 > > > OK! Quitesimple,thanks. > > >=20 > > > So am I correct that the question ``is Dynlink supported'' only makes > > > sense when one compiles a native-code program, because this always wo= rks > > > for byte-code? > >=20 > > The question makes also a lot of sense for bytecode, because not all > > platforms can load dll's. Bytecode that does not need additional dll's > > can always be loaded. >=20 > Okay, that's indeed a very important clarification. Thanks. > Bytecode that does not need addiional dlls means bytecode that does not > require any Clibrary, right? ...not any _additional_ C library. If the C library is already (statically) linked into the main executable, the loaded bytecode can use it. > Does somebody know what are the platforms that can not load dlls? =46rom "configure" I guess that the following platforms can load, and any other cannot: all Win32 (incl Cygwin and MinGW), Linux, FreeBSD, OpenBSD, NetBSD, DEC alpha, Solaris, IRIX, Mac OS X. The others are nowadays very exotic (e.g. HP-UX), or special (e.g. the iOS support I'm preparing in a separate patch won't include dll support - Apple does not permit apps to use shared libraries). Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-/jrAeewRCZYzarDZy3+S Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJV8bZvAAoJEAaM4b9ZLB5TQjIIAJSjCTr571eKzkQEKhb1EyiC HrokIcYMzvJWJ42X3K1nHql58aCzrdooYEkjK/JdBJ+B4TiOK17d0P9zFQTVHfu0 2tsm2aPVjeDO8RpRs6UH4sO9NZwGWhHz8VK8/uOhDeKtDdvaOQotVCDcO0vk2Fs4 Gh4XWhvb2Fm71xXun/Vzn5Bc1I12pRfQ/ES/0PoW5dQvc16SAYn4kDIfbq8WPjkb dVWekZ30stOLNx8EU5Z9HxJ2Apju45CcQcra3xSwRNsKZKHk4fPfMHp2dg45cyy2 xj/SDjIncqMJbZt5F+bSiPKznm1Zrg5a9z78ZwhW+MMgSrKjp5DEHijplv8544E= =ZrjZ -----END PGP SIGNATURE----- --=-/jrAeewRCZYzarDZy3+S--