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 XAA30008; Tue, 31 Aug 2004 23:00:27 +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 XAA30793 for ; Tue, 31 Aug 2004 23:00:26 +0200 (MET DST) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.171]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i7VL0PFg005227 for ; Tue, 31 Aug 2004 23:00:26 +0200 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1C2Fjt-0002kM-00 for caml-list@inria.fr; Tue, 31 Aug 2004 23:00:25 +0200 Received: from [80.129.116.212] (helo=gate.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1C2Fjt-0004o6-00 for caml-list@inria.fr; Tue, 31 Aug 2004 23:00:25 +0200 Received: from ice.gerd-stolpmann.de (ice.gerd-stolpmann.de [192.168.0.13]) by gate.gerd-stolpmann.de (Postfix) with ESMTP id A9F2C585E; Tue, 31 Aug 2004 23:00:24 +0200 (CEST) Received: by ice.gerd-stolpmann.de (Postfix, from userid 1000) id 9BDF2B030; Tue, 31 Aug 2004 23:00:22 +0200 (CEST) Subject: [Caml-list] GODI news: GODI switches to O'Caml 3.08.1 From: Gerd Stolpmann To: godi-list Cc: caml-list@inria.fr Content-Type: text/plain Content-Transfer-Encoding: 7bit Message-Id: <1093986021.31852.15.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.5 Date: Tue, 31 Aug 2004 23:00:22 +0200 X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at nez-perce with ID 4134E6E9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; gerd:01 stolpmann:01 add-on:01 netbsd:01 cygwin:01 recompiles:01 bootstrap:01 bootstrap:01 3.07:01 selects:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 darmstadt:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi lists, GODI, the O'Caml source-based distribution, has just switched to O'Caml 3.08.1 (as replacement for O'Caml 3.08.0). Read more below. GODI is a system that automatically downloads, builds, and installs the core O'Caml system together with a growing number of libraries and other add-on software. It runs on Linux, Solaris, FreeBSD, NetBSD, Cygwin, HP-UX, MacOS X. If you are new to GODI, read more here: http://www.ocaml-programming.de/godi/ Details of the switch to O'Caml 3.08.1: If you have already installed GODI for O'Caml 3.08, you can (and should) upgrade to O'Caml 3.08.1 by starting godi_console, and by selecting the menu point "Update the list of available packages". This downloads the newest build information. Then, go to "Select source packages", press "u" followed by "o" to upgrade everything, and type "s" to start the build. This recompiles almost all packages. If you bootstrap GODI, the new release will be selected automatically. (The old bootstrap tarball still works.) GODI no longer supports O'Caml 3.08.0; the old 3.07 version is still available, though. Please note that the setting GODI_SECTION=3.08 is still valid although it selects now O'Caml 3.08.1. Gerd and the GODI team -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------ ------------------- 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