From: Xavier Leroy <xavier.leroy@inria.fr>
To: Christian.Schaller@siemens.com
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Cygwin & dynamic loading
Date: Thu, 24 Apr 2003 09:28:46 +0200 [thread overview]
Message-ID: <20030424092846.A30643@pauillac.inria.fr> (raw)
In-Reply-To: <4F8477CFC03A71499AD8DDA428F5E114037CF3@neptun.cert.siemens.de>; from Christian.Schaller@siemens.com on Wed, Apr 23, 2003 at 05:23:15PM +0200
> Can anybody give me some enlightenment (so that I can sleep better again)
> about the Cygwin port of OCaml. I am running this port since version 3.04
> and never encountered the following error message until I installed my
> Windows system from scratch:
>
> $ ocamlmktop -o ocaml-str str.cma
> Error on dynamically loaded library: dynamic loading not supported on this
> platform
> [...]
> Does the native Windows OCaml installation interfere with the Cygwin port
> (that's the only obvious difference between the two systems).
Yes, the two installations can interfere: the native Windows installer
sets the OCAMLLIB environment variable to point to its libraries.
Thus, if you don't unset this variable or set it to point to the
libraries of the Cygwin installation of OCaml, the latter will use the
wrong libraries. And indeed the native str.cma is set up to use
dynamic loading, while the Cygwin str.cma is set up to use -custom and
no dynamic loading.
Hope this explains your problem.
- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
prev parent reply other threads:[~2003-04-24 7:28 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-04-23 15:23 Christian.Schaller
2003-04-24 2:38 ` Jacques Garrigue
2003-04-24 7:28 ` Xavier Leroy [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=20030424092846.A30643@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=Christian.Schaller@siemens.com \
--cc=caml-list@inria.fr \
/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;
as well as URLs for NNTP newsgroup(s).