From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA16584; Mon, 17 Dec 2001 15:17:12 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA16757 for ; Mon, 17 Dec 2001 15:17:11 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBHEH9111683; Mon, 17 Dec 2001 15:17:09 +0100 (MET) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA16629; Mon, 17 Dec 2001 15:17:08 +0100 (MET) Date: Mon, 17 Dec 2001 15:17:08 +0100 From: Xavier Leroy To: j h woodyatt Cc: caml-list@inria.fr Subject: Re: [Caml-list] notes about ocaml-3.0.4 on mac os x 10.1 Message-ID: <20011217151708.B16081@pauillac.inria.fr> References: <4E541EE8-F255-11D5-B9BA-003065CC5A82@wetware.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <4E541EE8-F255-11D5-B9BA-003065CC5A82@wetware.com>; from jhw@wetware.com on Sun, Dec 16, 2001 at 10:47:07AM -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > + The interactive runtime reports that dynamic loading isn't supported > on this platform. Given the way the Darwin team was mucking with the > mechanism for loading dynamic libraries in OS X while 3.0.4 was in > development, I'm not surprised. (My understanding is that it should be > pretty stable with 10.1 and beyond.) We've been quite conservative with dynamic loading, enabling it only on platforms where we know for sure that it works. We'll see if the dynamic loader in MacOS 10.1 is standard enough to be used. > + The opt.opt make target in ocaml-3.0.4 encounters a mysterious failure > with camlp4. If no one on the Caml team has seen it, I'll happily help > track it down. It's a known issue with the PowerPC code generator in ocamlopt. We'll work around it at some point. Right now, just don't do "make opt.opt", it's optional anyway. Thanks for your feedback, - Xavier Leroy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr