From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA02996 for caml-red; Mon, 12 Feb 2001 13:30:36 +0100 (MET)
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 KAA22290 for <caml-list@pauillac.inria.fr>; Sun, 11 Feb 2001 10:52:25 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f1B9qNn21303;
	Sun, 11 Feb 2001 10:52:23 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA10173; Sun, 11 Feb 2001 10:52:22 +0100 (MET)
Date: Sun, 11 Feb 2001 10:52:22 +0100
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
Message-ID: <20010211105222.B10493@pauillac.inria.fr>
References: <000201c09213$3acd4960$d7688aa4@wfr01946> <3A7D9742.16A775CB@wanadoo.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 1.0i
In-Reply-To: <3A7D9742.16A775CB@wanadoo.fr>; from jean.martos@wanadoo.fr on Sun, Feb 04, 2001 at 05:54:10PM +0000
Sender: weis@pauillac.inria.fr

> 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