From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 20FC9BC6B for ; Sun, 20 Jan 2008 17:54:21 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALMLk0fAXQInh2dsb2JhbACBV44/AQEBCAopgRSZUAE X-IronPort-AV: E=Sophos;i="4.25,224,1199660400"; d="scan'208";a="6327034" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Jan 2008 17:54:20 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0KGsGLX021708 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 20 Jan 2008 17:54:20 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADwLk0fU4368nmdsb2JhbACBV44/AQEBAQEGAggHChiBFJlXAQ X-IronPort-AV: E=Sophos;i="4.25,224,1199660400"; d="scan'208";a="6960920" Received: from moutng.kundenserver.de ([212.227.126.188]) by mail1-smtp-roc.national.inria.fr with ESMTP; 20 Jan 2008 17:54:16 +0100 Received: from gate.lan.gerd-stolpmann.de (dslb-088-068-207-067.pools.arcor-ip.net [88.68.207.67]) by mrelayeu.kundenserver.de (node=mrelayeu8) with ESMTP (Nemesis) id 0ML31I-1JGdR128Up-0002qw; Sun, 20 Jan 2008 17:54:15 +0100 Received: from [192.168.0.32] (fw.lan.gerd-stolpmann.de [192.168.1.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 454B4C113; Sun, 20 Jan 2008 17:54:15 +0100 (CET) Subject: GODI available for O'Caml 3.10.1 From: Gerd Stolpmann To: godi-list Cc: caml-list caml-list Content-Type: text/plain Date: Sun, 20 Jan 2008 17:54:15 +0100 Message-Id: <1200848055.21737.33.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX18Pqtb2XwZdGbrnFb152Od7xqaraBeooxY1kNY NtWNHlQM4292poZvDMv2I/DcJowLQFdQuLnEx2GL0STFGrL59a HuJtozv59GdW8UTyGou/g+zwhxwHD79 X-Miltered: at concorde with ID 47937CB8.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 gerd:01 stolpmann:01 ocaml:01 ocaml:01 camlp:01 camlp:01 tarball:01 tarball:01 --prefix:01 usr:01 usr:01 'u':01 'o':01 pcre:01 Hi, the GODI distribution of OCaml is now officially available for OCaml version 3.10.1. This is the first official release for an OCaml version of the 3.10 series - due to the camlp4 transition we've waited quite long before doing so in order to give all developers a chance to port their code to the new camlp4 style. Unfortunately, this transition isn't complete yet, so not all packages of the 3.09 release are available for the 3.10 release (see list below). We encourage skilled users to help out. You can get this release by either upgrading an existing GODI installation, or by doing a fresh install. If upgrading, some special attention is required, however. A list of packages is available in the web, see the link on the GODI homepage: http://godi.ocaml-programming.de/index.html ------------------------------------------------------------ Doing a fresh install of OCaml 3.10.1 with GODI ------------------------------------------------------------ - Download the bootstrap tarball from http://www.ocaml-programming.de/packages/godi-bootstrap-20080118.tar.gz (This link is published on the GODI homepage.) - Extract the tarball: tar xzf godi-bootstrap-20080118.tar.gz - Do the first stage of the bootstrap: cd godi-bootstrap-20080118 ./bootstrap --prefix where may be an arbitrary, not yet existing directory (please _don't_ use /usr or /usr/local) - Add /bin and /sbin to PATH PATH=/bin:/sbin:$PATH export PATH - Do the second stage of the bootstrap: ./bootstrap_stage2 For the second stage you need an Internet connection. - Run godi_console to install libraries and applications! Links for troubleshooting etc.: see below. ------------------------------------------------------------ Upgrading an existing GODI installation to OCaml 3.10.1 ------------------------------------------------------------ Edit godi.conf. This file is usually installed as /etc/godi.conf. Set GODI_SECTION to 3.10, e.g. change the line GODI_SECTION=3.09 to GODI_SECTION=3.10 Run godi_console, and "Update the list of packages". Then "Select source packages", and "upgrade all" with 'u'. Finally, type 's' to start the installation, and 'o' to commit this action. Note that you'll run into an error if you have some package installed that is not (yet) available for OCaml 3.10.1. The error is usually cryptic, but indicates a "Version conflict". If you select the packages to upgrade manually, make sure you always select godi-ocaml and godi-ocaml-src. Otherwise, the upgrade won't happen. ------------------------------------------------------------ Packages not yet available ------------------------------------------------------------ The following packages are not (yet) available: godi-col, godi-heredoc, godi-json-static, godi-micmatch_pcre, godi-pa_arg, godi-camlp4-manual, godi-galax, godi-ocamlduce, /godi-ocamlducebazar. The following packages have intentionally been deleted, because we have replacements: godi-equeue, godi-equeue-gtk1, godi-equeue-gtk2, godi-equeue-tcl, godi-netclient, godi-shell, godi-rpc, godi-wlex. ------------------------------------------------------------ Resources ------------------------------------------------------------ Documentation is available here: http://godi.ocaml-programming.de/doclinks.html On the right navigation bar on this page, you can also find links for the mailing list, the bug tracker, and the subversion repository. Have a lot of fun, Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------