From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 37BE3D45F for ; Mon, 31 Oct 2005 15:31:26 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j9VEVPbu026794 for ; Mon, 31 Oct 2005 15:31:25 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA10998 for ; Mon, 31 Oct 2005 15:31:25 +0100 (MET) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.191]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j9VEVOa8026790 for ; Mon, 31 Oct 2005 15:31:25 +0100 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1EWah2-0006P6-00 for caml-list@inria.fr; Mon, 31 Oct 2005 15:31:24 +0100 Received: from [84.58.137.12] (helo=gate.lan.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1EWah2-0006Sa-00 for caml-list@inria.fr; Mon, 31 Oct 2005 15:31:24 +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 71D0BC0AD for ; Mon, 31 Oct 2005 15:31:24 +0100 (CET) Subject: O'Caml 3.09 and GODI From: Gerd Stolpmann To: caml-list Content-Type: text/plain Date: Mon, 31 Oct 2005 15:31:23 +0100 Message-Id: <1130769084.25153.7.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 concorde with ID 43662ABD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43662ABC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; o'caml:01 gerd:01 stolpmann:01 --prefix:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 darmstadt:01 tar:01 tar:01 argument:01 telefon:02 readme:03 opt:05 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 Me again. GODI had good success in the transition to 3.09. Although not yet released, there is already an almost working GODI for 3.09. Especially useful for developers who want to check their software for 3.09. To get this release, download the bootstrap archive: http://www.ocaml-programmhttp://www.ocaml-programming.de/packages/godi-bootstrap-20050829.tar.gzing.de/packages/godi-bootstrap-20050829.tar.gz Call the bootstrap script with the additional argument --section 3.09, e.g. ./bootstrap --section 3.09 --prefix /opt/godi-3.09 then continue as explained in README. Not all libraries are already available, but most are. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Telefon: 06151/153855 Telefax: 06151/997714 ------------------------------------------------------------