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 BA4317F1AA for ; Wed, 9 Sep 2015 18:03:39 +0200 (CEST) IronPort-PHdr: 9a23:C7d1Jhb2FHoKdka0kMz1qgz/LSx+4OfEezUN459isYplN5qZpcW5bnLW6fgltlLVR4KTs6sC0LqK9fm8Ej1bqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7z0osGYMl4ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl60Z3EVSXkXnxwAIwnD4BzgU4255hD3vONmxCiXO4vWTLY4VC6v9Y9qTgXpgWEJLWhq3nvQj5lfgbhX6Cm9oBhnxofSZsnBNfxweYvScMkWAHFdWcJJUiVHBMWwYt1cXKI6Ie9Eotyl9BM1phykCFzpXbu3xw== 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.126.187; 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.126.187; 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.126.187; 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: A0A9AQBXV/BVm7t+49Rdg3dpvyAGhX0CgTs8EAEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBBFUkEAtGVwYTCYgpCcoyAQEBAQEBBAEBAQEBHYV4hXaEZiYHgi4MQYExBYcxjiV3Ao1NhywDjhGDbIQobwGISAEBAQ X-IPAS-Result: A0A9AQBXV/BVm7t+49Rdg3dpvyAGhX0CgTs8EAEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBBFUkEAtGVwYTCYgpCcoyAQEBAQEBBAEBAQEBHYV4hXaEZiYHgi4MQYExBYcxjiV3Ao1NhywDjhGDbIQobwGISAEBAQ X-IronPort-AV: E=Sophos;i="5.17,497,1437429600"; d="asc'?scan'208";a="145262513" Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Sep 2015 18:03:39 +0200 Received: from office1.lan.sumadev.de ([88.69.138.237]) by mrelayeu.kundenserver.de (mreue001) with ESMTPSA (Nemesis) id 0MHQEF-1ZNLuj14oF-00E29y; Wed, 09 Sep 2015 18:03:38 +0200 Received: from [192.168.5.106] (thinkpad.lan.sumadev.de [192.168.5.106]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 48E14DC05D; Wed, 9 Sep 2015 18:03:37 +0200 (CEST) Message-ID: <1441814599.2811.6.camel@thinkpad.lan.sumadev.de> From: Gerd Stolpmann To: =?ISO-8859-1?Q?S=E9bastien?= Hinderer Cc: caml-list@inria.fr Date: Wed, 09 Sep 2015 18:03:19 +0200 In-Reply-To: <20150909134401.GA4359@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> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-xufoEqc1ZDmqwclmZeEo" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:A3oGjefCNiZyZbSQgnZJ03MVTeUY3qUmOPzmwJQXTfJd7+9kpj3 mT8iL9KWSJa8guXsF9CrucxjWuIaMaqIb42xtFLp3A+lU1N8y+m1gV/Gujv5RBusu6WNOMp AlohyCu+ke+rxfaszIeIzzw59OwBQe+TN8X265GBIYyX6W3aOGy5XeZpGRVid11/6AbA68h VlBii01k+WEjDr6eD8WXw== X-UI-Out-Filterresults: notjunk:1;V01:K0:PF/U8sdPvPA=:DpFvuDNuW+4LzKzaCi+LWE Xb2N1WVaMRk9O3j2e9D1JFAZG7JRstUxRkCW5gFSG7rPr32TpIBTV0ObYhUi6FhCXDlx+fR65 1U7nHDSECu1B/yRHgBas9CTLnMuE6Bg6ERxGs/1iGx39ziOxodqtoYgw8cjF5PB9dygOP6N2d A/eOPTaDojO8/RoYGk8K4NuSDNQZNHQL7Jq8gFpuT/557UMJNpwDlcTnCEEZdF/G+FfJW08x1 MuV+ICAx3KWyv79K01aq3k81oArqPz26yvmOI9bWyEA5bcIFG5SZLY2mjW2XkRA6bFcdp6ARf QhujnNB/JIl+Mv/nPHInS/Srmk4DOPusT60ERhdJPfkMa+C0tarcs1fQ5i0UCVPow3qAGLmoE UX4erkOOslfZTh1s+5BEGhQUo5QHR81Z/hUeeszSikPhvLyDAwtd/cbVqKdH4AKZ2UsY6WUeZ vE4wuHSdPaZ2vXgHRYA8ny3MhtjwOH/HjTuFJYX9jhk6YjTKlg4f/RROZjMBFqmTXi5g+14J3 d54ziMMwh5lyfAu3OhJDXCWucYU9wenRMZCTMmQgTJHmQZfQcfZDTyiMBRGrtLk0qoe3FkZvX oO483y4KZ4uHGQ2mExoAKwLqLlWZJjXuTCLFn7UnNj5tHhcFaik5DTsGFtIgXPpC3EzuuciIC 5FL9RiMuwKftp/Fne3pPdUFNQczQpRaFP1Vg9vpeJuBorz+Px7iXCjaG1HC+FgRHhlEY= Subject: Re: [Caml-list] Dynlink --=-xufoEqc1ZDmqwclmZeEo Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable 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 determine t= he > > > 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 works > for byte-code? 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. On the command-line you can check with something like echo '' | ocaml unix.cma -stdin (unchecked, let's hope the error is correctly propagated). E.g. an unsupported platform used to be Cygwin. 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 ------------------------------------------------------------ --=-xufoEqc1ZDmqwclmZeEo 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 iQEcBAABAgAGBQJV8FhHAAoJEAaM4b9ZLB5T+KQH/RvwUAcRQWEgUN4Qh942NUmb XKY0sUm7ItUPNIT4ObdYjQWBmrYg2YTKOkRL3+g4bm888PAxBjIl9UHs48oc1XE1 nR0hEG4WL3aNZuTf5bp9pmiz3dmnFrKq+5gQ+uwMszaINbtSUWS5df1iE+Xse37T xeLIN0sqiXlQ+uaJGtGUSS2t3rzMdE6A2CHwkjXqmUI1QNgRUPdnv/hzjUhKNPJY VUr0I1zJsW+rklQ+eMAiYtTiqT6NxTe53Xq4q6y7IC3H7E+eZYGGPrYlMNjnV4zQ M5Beb+Qe1K7iNTnbS+Cs4Aia2IYhtMQYTMUsp/Kc6SQJhKs37akN8+BJHoSB058= =xGs9 -----END PGP SIGNATURE----- --=-xufoEqc1ZDmqwclmZeEo--