From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p75EQv2b024341 for ; Fri, 5 Aug 2011 16:26:57 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlIHAET8O04+3JIE/2dsb2JhbABDmFyPBneBQAEBBYEJC0ZXiAi/OIVnXwSTAZBp X-IronPort-AV: E=Sophos;i="4.67,323,1309730400"; d="scan'208";a="115070525" Received: from vs.philou.ch ([62.220.146.4]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Aug 2011 16:26:51 +0200 Received: from bookpro-wlan.lan (85-218-12-84.dclient.lsne.ch [85.218.12.84]) by vs.philou.ch (Postfix) with ESMTPSA id 4E508233E29 for ; Fri, 5 Aug 2011 16:26:51 +0200 (CEST) Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Apple Message framework v1244.3) From: Philippe Strauss In-Reply-To: Date: Fri, 5 Aug 2011 16:26:50 +0200 Message-Id: <143ED7B1-229B-4D20-B72C-2BDA81F9321C@philou.ch> References: <790A96E0-994B-4765-A72F-CE4BBB4B27C6@philou.ch> To: caml-list@inria.fr X-Mailer: Apple Mail (2.1244.3) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p75EQv2b024341 Subject: Re: [Caml-list] nano configure patch for natdynlink support on OSX 10.7 oh sorry my mistake, I forgot "make opt" :-) now dynlink.cmxa is there: philou@bookpro-wlan:~/src/ml/ocaml-3.12.1$ gfind /opt/ocaml/ -iname "dynlink*" /opt/ocaml/lib/ocaml/dynlink.a /opt/ocaml/lib/ocaml/dynlink.cma /opt/ocaml/lib/ocaml/dynlink.cmi /opt/ocaml/lib/ocaml/dynlink.cmx /opt/ocaml/lib/ocaml/dynlink.cmxa /opt/ocaml/lib/ocaml/dynlink.mli