From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6LCXicF001550 for ; Thu, 21 Jul 2011 14:33:44 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmEBAKYbKE7U4xEIkGdsb2JhbABUhEqjIBQBAQEBCQkNBxQDIoh+nFeOQZEFAoEphASBDwSLb4wGi1g X-IronPort-AV: E=Sophos;i="4.67,240,1309730400"; d="scan'208";a="87539375" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Jul 2011 14:33:39 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-215-077.pools.arcor-ip.net [94.219.215.77]) by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis) id 0Lmwns-1RMTvS3jfI-00hY5D; Thu, 21 Jul 2011 14:33:39 +0200 Received: from [192.168.5.106] (dslb-094-219-215-077.pools.arcor-ip.net [94.219.215.77]) by office1.lan.sumadev.de (Postfix) with ESMTPA id 8F1C75F701 for ; Thu, 21 Jul 2011 14:33:38 +0200 (CEST) From: Gerd Stolpmann To: caml-list Content-Type: text/plain; charset="UTF-8" Date: Thu, 21 Jul 2011 14:33:37 +0200 Message-ID: <1311251617.10871.189.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 Content-Transfer-Encoding: 7bit X-Provags-ID: V02:K0:pTE9/CjWBtI3YJq3GC5SETxtC2SLHcVuAQ5stOmY3qc GRWCG1vVrhPDgq+zxY7VX9Ffovy/3vssCuhJMhkMmn8WGaYKyx Q9wBoSOkdl73ax0q4oppFoN2qnb+mZj93bs8HsGioeMiL/gOD1 Q84ijof7/MSl4jOhaeNpLs9ClRUS5N1vE3xeGXSbntlm4gSDmN fQYI2r14SGkHxbzaKl2Cg== Subject: [Caml-list] GODI News: 3.12.1 released, new website Hi list, the GODI project just updated the release line for Ocaml-3.12 which bases now on version 3.12.1. We have done extensive tests, and found only some minor incompatibilities for ocamlbuild (which is a bit pickier now and chokes sometimes when it sees extra files it does not know about). These could be resolved. At the same time, the 3.12 release loses its beta status (which had it for quite a long time), and is now the recommended Ocaml version. GODI also gets a newly designed web site: http://godi.camlcity.org is now much more illustrative and informative. As a special bonus, a news feed is included with the newest package releases (right now only as HTML, RSS will follow later). Also the list of packages has been reworked and is now fully dynamic (instead of generated). The new bootstrap for GODI is now available as http://www.camlcity.org:81/download/godi-rocketboost-20110717.tar.gz It also got a bit of developers' attention, and is now more intuitive. (For example, the stage 2 of the bootstrap is now automatically started. The bootstrap is now interactive by default.) If you do not want to run another bootstrap, you can also upgrade your existing GODI installation: * If you already have a 3.12 installation, just follow the normal upgrade path for packages in godi_console. Ocaml 3.12.1 is a normal package upgrade here. * If you still use a 3.11 installation, just edit godi.conf, and replace the line setting GODI_SECTION, and set this variable to 3.12. Then perform a package upgrade using godi_console (as above). There are a few remaining issues with the new version: - Batteries: It is reported that there is an incompatibility with the new Hashtbl signature. It is being worked on this. Currently the package is broken. It is recommended that users wait until the problems have been resolved. - Ocamlduce is still unavailable for 3.12.1. This also affects dependencies like godi-tyxml. - After installing GODI on a newly set up system, I found problems for godi-mlgmp, godi-fftw, and godi-lablgtk(1), because they are out of sync with current C libraries, or the C libraries have become unavailable (like gtk1). - There are a few applications which are still broken: apps-felix, apps-nurpawiki, apps-pkglab, apps-regstab. The package maintainers are notified. The documentation archive docs.camlcity.org is still switching to 3.12 as default source for documentation. This means not all package docs are available yet (but an impressive subset is already). I hope this will be fixed until tomorrow. A final word about GODI and OASIS. Sylvain is very interested in providing the OASIS packages in a format that GODI understands. There is now the plan that GODI extracts the required information from its package db, and OASIS uses this to wrap its packages so these can be included as package source into godi_console. We are now working on this. Gerd -- ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------