From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 792A1BB9C for ; Thu, 19 Jan 2006 00:35:18 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k0INZHUO013799 for ; Thu, 19 Jan 2006 00:35:18 +0100 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 AAA27713 for ; Thu, 19 Jan 2006 00:35:17 +0100 (MET) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.191]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k0INZGBL013796 for ; Thu, 19 Jan 2006 00:35:17 +0100 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1EzMpg-0000Wb-00 for caml-list@inria.fr; Thu, 19 Jan 2006 00:35:16 +0100 Received: from [84.58.141.8] (helo=gate.lan.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1EzMpg-00064K-00 for caml-list@inria.fr; Thu, 19 Jan 2006 00:35:16 +0100 Received: from flakew.lan.gerd-stolpmann.de (flakew.lan.gerd-stolpmann.de [192.168.0.32]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 03D36C14F; Thu, 19 Jan 2006 00:35:16 +0100 (CET) Subject: [Godi-list] GODI news From: Gerd Stolpmann To: caml-list Cc: godi-list X-Sieve: CMU Sieve 2.2 X-Spam: no; 0.00; godi:01 stolpmann:01 caml-list:01 godi:01 source-based:01 o'caml:01 o'caml:01 upgraded:01 3.08:01 3.08.3.:01 upgraded:01 libraries:01 installation:01 console:01 'o':01 X-BeenThere: godi-list@ocaml-programming.de X-Mailman-Version: 2.1.5 X-Spam: no; 0.00; godi:01 godi:01 informs:01 source-based:01 o'caml:01 o'caml:01 3.08:01 libraries:01 'u':01 'o':01 'o':01 command-line:01 compiler:01 --version:01 rewrite:01 Content-Type: text/plain Date: Thu, 19 Jan 2006 00:35:15 +0100 Message-Id: <1137627315.11593.121.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.2.1.1 Content-Transfer-Encoding: 7bit X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at nez-perce with ID 43CED0B5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43CED0B4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; gerd:01 stolpmann:01 caml-list:01 o'caml:01 o'caml:01 3.09:01 3.08:01 3.09:01 3.08:01 'u':01 'o':01 command-line:01 tarball:01 tar:01 cygwin:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 Hi caml-list, Welcome to GODI news, the newsletter that informs you about updates of GODI, the source-based O'Caml distribution. ------------------------------------------------------------ TABLE OF CONTENTS: 1. GODI releases O'Caml 3.09.1 2. Where to find more information about GODI ------------------------------------------------------------ 1. GODI RELEASES O'CAML 3.09.1 The project has just released the package repository for O'Caml 3.09.1. This is the first released version for the "3.09" branch of the distribution. The "3.08" branch of GODI is still supported. The "3.07" branch is discontinued. Existing installations of GODI can be easily upgraded. To do so, you should edit the file godi.conf and set GODI_SECTION = 3.09 (it was formerly 3.08). The next step is to upgrade the GODI packages using the standard mechanism. This works in an almost fully automatic way, GODI takes care not to only build the new O'Caml base but also rebuilds all dependent libraries. Although well tested, it is recommended to save a copy of the old installation before trying the update. To start the update, invoke godi_console in interactive mode, and do: - Update the list of packages - Go into the menu where one can select the packages. Press 'u' to upgrade the packages, and confirm with 'o'. Start the installation as usual. - Enjoy the updated installation It is also possible to do the same from the command-line: $ godi_console update $ godi_console wish -rebuild $ godi_console perform -wishes -newer $ godi_console wish -reset Alternatively, you can also bootstrap a new GODI installation, e.g. in parallel of the existing installation for 3.08. There is a new bootstrap tarball at http://www.ocaml-programming.de/packages/godi-bootstrap-20060118.tar.gz defaulting to the 3.09 release. 2. WHERE TO FIND MORE INFORMATION ABOUT GODI GODI is a source-based O'Caml distribution. It consists of a framework that automatically builds the O'Caml core system, and additionally installs a growing number of pre-packaged libraries. GODI is available for O'Caml-3.08 and 3.09. It runs on Linux, Solaris, FreeBSD, NetBSD, Cygwin, HP-UX, MacOS X. Advantages of using GODI: * Automatic installation of new libraries: GODI knows where a library can be downloaded, which prerequisites are needed to build it, and which commands must be invoked to compile and install it * Complete package management of the installation: A library is installed as a package (a managed set of files), so it is possible to remove it later without any hassle. * GODI implements the necessary logic to upgrade installations: Because of the way O'Caml works, all dependent libraries must be recompiled if a library is upgraded to a newer version. GODI automates this process. * Integration with the operating system: If additional C libraries are needed to build an O'Caml library, and the operating system includes them, they will usually be automatically found and used. Non-standard locations can be configured (there is only one configuration file for the whole installation). * GODI has a menu-based user interface that makes it simple to use even for beginners. * GODI tries to standardize the directory layout of library installations, so it becomes simpler to find files of interest. GODI currently supports 75 add-on libraries and 15 applications written in O'Caml. Read more on the GODI homepage: http://godi.ocaml-programming.de -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Telefon: 06151/153855 Telefax: 06151/997714 ------------------------------------------------------------