From: Xavier Leroy <xavier.leroy@inria.fr>
To: j h woodyatt <jhw@wetware.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] notes about ocaml-3.0.4 on mac os x 10.1
Date: Mon, 17 Dec 2001 15:17:08 +0100 [thread overview]
Message-ID: <20011217151708.B16081@pauillac.inria.fr> (raw)
In-Reply-To: <4E541EE8-F255-11D5-B9BA-003065CC5A82@wetware.com>; from jhw@wetware.com on Sun, Dec 16, 2001 at 10:47:07AM -0800
> + 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
next prev parent reply other threads:[~2001-12-17 14:17 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-16 18:47 j h woodyatt
2001-12-17 14:17 ` Xavier Leroy [this message]
2001-12-17 15:27 Damien Doligez
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20011217151708.B16081@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=jhw@wetware.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox