From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA32009; Fri, 8 Aug 2003 23:37:20 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA04648 for ; Fri, 8 Aug 2003 23:37:19 +0200 (MET DST) Received: from mz1.forethought.net (mzpi3.forethought.net [216.241.36.12]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h78LbHT14894 for ; Fri, 8 Aug 2003 23:37:18 +0200 (MET DST) Received: from [216.241.35.41] (helo=swordfish) by mz1.forethought.net with esmtp (Exim 4.14) id 19lEvE-0002vV-At for caml-list@inria.fr; Fri, 08 Aug 2003 15:37:16 -0600 Received: from matt by swordfish with local (Exim 3.35 #1 (Debian)) id 19lEv8-0005u9-00 for ; Fri, 08 Aug 2003 15:37:10 -0600 Date: Fri, 8 Aug 2003 15:37:05 -0600 From: Matt Gushee To: caml-list@inria.fr Subject: Re: [Caml-list] GODI news Message-ID: <20030808213705.GB21525@swordfish> Reply-To: Matt Gushee Mail-Followup-To: caml-list@inria.fr References: <1060377600.1229.53.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1060377600.1229.53.camel@ice.gerd-stolpmann.de> User-Agent: Mutt/1.3.27i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; gushee:01 caml-list:01 gerd:01 stolpmann:01 repositories:01 guis:01 cygwin:01 mingw:01 englewood:01 manure:01 mgushee:01 havenrock:01 ignores:01 --lao:01 merel:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Aug 08, 2003 at 11:20:01PM +0200, Gerd Stolpmann wrote: > > the GODI repositories are now accessible from the Internet: > https://gps.dynxs.de Very cool. Haven't tried it yet, but I mean to one of these days. > now to continue this way, and to collect build instructions, and > to add user-friendly GUIs on top of the existing command- > line infrastructure. Last but not least a Cygwin port should > be tried. Why Cygwin, rather than MinGW? I confess I don't have a very good understanding of the issues-- I've tried Cygwin, but only read about MinGW--but it seems to me that in general MinGW should be preferred for its lightweight- ness and because (apparently) it enables you to create native Win32 executables. -- Matt Gushee When a nation follows the Way, Englewood, Colorado, USA Horses bear manure through mgushee@havenrock.com its fields; http://www.havenrock.com/ When a nation ignores the Way, Horses bear soldiers through its streets. --Lao Tzu (Peter Merel, trans.) ------------------- 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