From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA2Hlnrw021466 for ; Wed, 2 Nov 2011 18:47:49 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuoBAHyBsU6GYAcfmWdsb2JhbABCmjOMZYJVIgEBAQEBCAsLBxQlgjOfHKAaiC9hBKV6 X-IronPort-AV: E=Sophos;i="4.69,444,1315173600"; d="scan'208";a="116324489" Received: from theia.rz.uni-saarland.de ([134.96.7.31]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 02 Nov 2011 18:47:44 +0100 Received: from uni-sb.de (mail.uni-sb.de [134.96.7.230]) by theia.rz.uni-saarland.de (8.14.1/8.14.0) with ESMTP id pA2Hlh46007679 for ; Wed, 2 Nov 2011 18:47:43 +0100 Received: from mail.cs.uni-sb.de (mail.cs.uni-saarland.de [134.96.254.200]) by uni-sb.de (8.14.5/2011051800) with ESMTP id pA2Hlclo028492 for ; Wed, 2 Nov 2011 18:47:38 +0100 (CET) Received: from mail.ps.uni-saarland.de (james.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.14.5/2011051800) with ESMTP id pA2HlcRK024111 for ; Wed, 2 Nov 2011 18:47:38 +0100 (CET) Received: from fry.ps.uni-saarland.de ([134.96.186.102]) by mail.ps.uni-saarland.de with esmtp (Exim 4.69) (envelope-from ) id 1RLeuX-0000tN-MQ for caml-list@inria.fr; Wed, 02 Nov 2011 18:47:37 +0100 From: Christian Doczkal Content-Type: text/plain; charset=us-ascii Date: Wed, 2 Nov 2011 18:47:37 +0100 Message-Id: To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1251.1) X-Mailer: Apple Mail (2.1251.1) X-SA-Exim-Connect-IP: 134.96.186.102 X-SA-Exim-Mail-From: doczkal@ps.uni-saarland.de X-Spam-Checker-Version: SpamAssassin 3.2.5 (2008-06-10) on james.ps.uni-sb.de X-Spam-Level: X-SA-Exim-Version: 4.2.1 (built Wed, 25 Jun 2008 17:14:11 +0000) X-SA-Exim-Scanned: Yes (on mail.ps.uni-saarland.de) X-DCC-EATSERVER-Metrics: mail.cs.uni-saarland.de; whitelist X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.0 (theia.rz.uni-saarland.de [134.96.7.31]); Wed, 02 Nov 2011 18:47:43 +0100 (CET) X-AntiVirus: checked by AntiVir MailGate (version: 2.1.2-14; AVE: 7.9.6.100; VDF: 7.11.16.251; host: AntiVir1) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pA2Hlnrw021466 X-Validation-by: doczkal@ps.uni-saarland.de Subject: [Caml-list] Dynamic linking on OS X 10.7 Lion? Hello Does OCaml support dynamic linking on Mac OS X 10.7 Lion?. I successfully built: OCaml 3.12.1 (MacPorts) Coq 8.3-pl1 (MacPorts) But I cannot build the loadable plugin for its Ssreflect extension (I can build the statically linked version). (I am not developing software using ocaml and I could not find the answer in the documentation) Thanks in advance for any clarification in this matter. Regards Christian