From: Alain Frisch <alain.frisch@lexifi.com>
To: Gerd Stolpmann <gerd@gerd-stolpmann.de>
Cc: Conglun Yao <yaoconglun@gmail.com>,
caml-list@yquem.inria.fr, Richard Jones <rich@annexia.org>
Subject: Re: [Caml-list] Dynlink and ocamlfind for camlp4 3.11?
Date: Mon, 05 Oct 2009 19:55:39 +0200 [thread overview]
Message-ID: <4ACA331B.7020700@lexifi.com> (raw)
In-Reply-To: <1254749754.1870.12.camel@flake.lan.gerd-stolpmann.de>
Gerd Stolpmann wrote:
> While cygwin cannot load shared libraries from bytecode, it still can
> load pure bytecode dynamically.
Since OCaml 3.11 and the use of flexdll, all the windows ports
(including the Cygwin port) are supposed to be able to load stub DLLs
produced by flexlink. This has not been tested thoroughly, so feel free
to report otherwise if you can isolate a bug related to that.
Alain
prev parent reply other threads:[~2009-10-05 17:55 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-10-04 14:22 Conglun Yao
2009-10-04 14:24 ` Conglun Yao
2009-10-04 19:05 ` [Caml-list] " Richard Jones
2009-10-04 19:32 ` Conglun Yao
2009-10-04 19:37 ` Richard Jones
2009-10-04 19:53 ` Conglun Yao
2009-10-04 20:06 ` Conglun Yao
2009-10-04 20:33 ` Richard Jones
2009-10-04 20:35 ` Richard Jones
2009-10-04 21:14 ` David Allsopp
2009-10-04 21:40 ` Conglun Yao
2009-10-05 7:39 ` David Allsopp
2009-10-05 10:14 ` Conglun Yao
2009-10-05 13:35 ` Gerd Stolpmann
2009-10-05 15:17 ` Conglun Yao
2009-10-05 17:28 ` David Allsopp
2009-10-05 17:55 ` Alain Frisch [this message]
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=4ACA331B.7020700@lexifi.com \
--to=alain.frisch@lexifi.com \
--cc=caml-list@yquem.inria.fr \
--cc=gerd@gerd-stolpmann.de \
--cc=rich@annexia.org \
--cc=yaoconglun@gmail.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