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 030D47F1AA for ; Wed, 9 Sep 2015 15:43:54 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.17,496,1437429600"; d="scan'208";a="145245021" Received: from hp-sebastien.rsr.lip6.fr (HELO pl-59055.rocqadm.inria.fr) ([132.227.76.32]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Sep 2015 15:43:54 +0200 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.86) (envelope-from ) id 1ZZffN-00019G-3z for caml-list@inria.fr; Wed, 09 Sep 2015 15:44:01 +0200 Date: Wed, 9 Sep 2015 15:44:01 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20150909134401.GA4359@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20150909130919.GA3980@pl-59055.rocqadm.inria.fr> <20150909132919.GA4196@pl-59055.rocqadm.inria.fr> <55F03555.6040306@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <55F03555.6040306@inria.fr> Subject: Re: [Caml-list] Dynlink Dear Xavier, Many thanks for your response. > You can't get more precise than the configure script of OCaml :-) Sure! > > Is there a way for a configure script to programmatically determine the > > availability of the feature on one given platform? > > Just check for the presence of dynlink.cmxa in OCaml's standard > library directory. OK! Quitesimple,thanks. 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? Thanks! Sébastien.