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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4568BBBAF for ; Tue, 24 Jun 2008 11:36:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqAAAB5dYEjU4367mmdsb2JhbACBW5EZAQEBAQEIBQgHEQOfVwE X-IronPort-AV: E=Sophos;i="4.27,695,1204498800"; d="scan'208";a="14450500" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Jun 2008 11:36:11 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m5O9a5Te006857 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 24 Jun 2008 11:36:11 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqAAAB5dYEjU4367mmdsb2JhbACBW5EZAQEBAQEIBQgHEQOfVwE X-IronPort-AV: E=Sophos;i="4.27,695,1204498800"; d="scan'208";a="14450495" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Jun 2008 11:36:05 +0200 Received: from gate.lan.gerd-stolpmann.de (dslb-088-068-206-246.pools.arcor-ip.net [88.68.206.246]) by mrelayeu.kundenserver.de (node=mrelayeu3) with ESMTP (Nemesis) id 0MKxQS-1KB4wX1Fl3-0000ba; Tue, 24 Jun 2008 11:36:05 +0200 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 E651CC077; Tue, 24 Jun 2008 11:36:02 +0200 (CEST) Subject: GODI News: RocketBoost is there! From: Gerd Stolpmann To: caml-list Cc: godi-list Content-Type: text/plain Date: Tue, 24 Jun 2008 11:36:02 +0200 Message-Id: <1214300162.16123.15.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX1+zXnpB9xRFTKgXH+vA3oN8Nssurs80IZgfcE9 OKUMbpzJHe+BcK6iMC94HBDpnZz9GIpa2DnuXA0/m1RyKccQqD 7H8mFXzB2Z+d5FZDg/sAGEFi6rI3x5O X-Miltered: at concorde with ID 4860C005.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; gerd:01 stolpmann:01 mingw:01 ocaml:01 cygwin:01 mingw:01 o'caml:01 o'caml:01 ocaml:01 gcc:01 defaults:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 Hi list, GODI finally releases a new version of the core environment, code name RocketBoost. This is now considered as being stable. There are not many new features in this release, so there is often no reason to switch to it if you already have GODI. The big news is that GODI now supports the MinGW port of OCaml for Windows (besides the Cygwin port). This means that it is now possible to create native Windows applications with GODI. Note, however, that the porting effort is still in its beginning - GODI itself works, but most packages aren't ported yet, and won't work. The MinGW support is considered as experimental, but we hope to provide a more comprehensive set of packages in the future when O'Caml 3.11 becomes available. The MinGW port has become possible because large parts of the GODI core have been rewritten. In particular, the C programs accompanying godi_console are now coded in O'Caml (godi_make, godi_add, etc.), so porting was possible by enhancing a few O'Caml libraries. This refactoring of GODI also increases the portability in the Unix world - effectively it should now run on all platforms where OCaml runs, where gcc is available, and where POSIX-compliant shell utilities are available. RocketBoost is now available from http://download.camlcity.org/download/godi-rocketboost-20080624.tar.gz There is no way to upgrade an existing GODI installation to RocketBoost due to heavy changes in the GODI core. Please read the included README for installation instructions. Especially if you want to install on Windows read it carefully. Note that RocketBoost still defaults to O'Caml 3.10.1. An upgrade to 3.10.2 will follow in the next days. 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 ------------------------------------------------------------