From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Jean Martos <jean.martos@wanadoo.fr>
Cc: lionel.fourquaux@wanadoo.fr, caml-list@inria.fr
Subject: Re: OCaml for Windows: a suggestion
Date: Sun, 11 Feb 2001 10:52:22 +0100 [thread overview]
Message-ID: <20010211105222.B10493@pauillac.inria.fr> (raw)
In-Reply-To: <3A7D9742.16A775CB@wanadoo.fr>; from jean.martos@wanadoo.fr on Sun, Feb 04, 2001 at 05:54:10PM +0000
> This is a good idea. But I think that the most important job to do
> for OCaml on Windows is to port it under gcc. I already compile it
> with mingw32. I do it because I need to interface OCaml and gnat,
> and for the moment it runs fine.
I did a Cygwin port of OCaml a few months ago. It is available for
testing from the CVS repository (http://camlcvs.inria.fr/), and will
be available publically in the forthcoming 3.01 release.
Everything works (including the debugger!) except the threads library,
the COM interface via CamlIDL, and the toplevel GUI application.
This port uses full Cygwin, not the Mingw subset.
For the time being, the MSVC port is still maintained, but it is clear
that we at INRIA don't have the resources to work on two Windows ports
in parallel -- one port is already enough of a pain... So, one of the
ports will eventually have to go or be maintained by others.
Enjoy,
- Xavier Leroy
next prev parent reply other threads:[~2001-02-12 12:30 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-02-08 21:07 Lionel Fourquaux
2001-02-04 17:54 ` Jean Martos
2001-02-10 19:28 ` Lionel Fourquaux
2001-02-11 9:52 ` Xavier Leroy [this message]
2001-02-12 19:37 ` Chris Hecker
2001-02-12 21:27 ` Lionel Fourquaux
2001-02-14 15:32 ` [Caml-list] " Vijay Chakravarthy
2001-02-13 18:07 ` Mattias Waldau
2001-02-13 18:20 ` Gerd Stolpmann
2001-02-13 4:36 Hao-yang Wang
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=20010211105222.B10493@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=jean.martos@wanadoo.fr \
--cc=lionel.fourquaux@wanadoo.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).