From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <info@gerd-stolpmann.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 47BCC7ED52
	for <caml-list@sympa.inria.fr>; Thu, 26 Jul 2012 20:57:09 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=pra;
  client-ip=212.227.126.187;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=mailfrom;
  client-ip=212.227.126.187;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  postmaster@moutng.kundenserver.de designates 212.227.126.187
  as permitted sender) identity=helo;
  client-ip=212.227.126.187;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="postmaster@moutng.kundenserver.de";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoIBAPKREVDU4367k2dsb2JhbABFuTkiAQEBAQkJCwkUAySCIgYBAWsLgQgVNAmICAe8KxSPE4McA41CiRqRWg
X-IronPort-AV: E=Sophos;i="4.77,660,1336341600"; 
   d="scan'208";a="151782338"
Received: from moutng.kundenserver.de ([212.227.126.187])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Jul 2012 20:57:08 +0200
Received: from office1.lan.sumadev.de (dslb-084-059-077-018.pools.arcor-ip.net [84.59.77.18])
	by mrelayeu.kundenserver.de (node=mreu0) with ESMTP (Nemesis)
	id 0Ld1ZU-1TcMiY1JM8-00iBlD; Thu, 26 Jul 2012 20:57:07 +0200
Received: from samsung (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22])
	by office1.lan.sumadev.de (Postfix) with ESMTPSA id 3FCC4C00D0;
	Thu, 26 Jul 2012 20:57:02 +0200 (CEST)
Date: Thu, 26 Jul 2012 20:56:59 +0200
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: godi-list@ocaml-programming.de
Cc: caml-list@inria.fr
X-Mailer: Balsa 2.4.11
Message-Id: <1343329019.8981.12@samsung>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15; DelSp=Yes; Format=Flowed
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
X-Provags-ID: V02:K0:WZHXABuxZGQnLttaTreuCwYcZK7Ci4UvudsAC+J263b
 Fer+Clw4c7ydoy8yJwEsBcNUHgeFBy4TLeyJrnFr93WnLHCGuj
 ndD95b0vBoIO5swb4ep9gnA85U560Jc4oGal/h6PGPvrBvI4ch
 xKPFFJuR5UdoQzwCIOT9q5t5ZwWLoBt/TPPYVjI3NkVBCCmdnn
 Y1fdYck7q2UdvHwXvjmkJvfvQuE83NY5bRc6lYtHTXd34v1j2h
 v6UwoZETIhuTCS8805K+k1Z2sgxDJ6zF+1A3tRvaZQWbcsrlTV
 CQ1dBYQLHShknrcVfL/sHLmqE2eM9buI6F7F8imqhi3GCwEYQs
 oyppU1oPwBkcJPuaVksc=
Subject: [Caml-list] Building Ocaml-4.00 with GODI

Hi,

I've just released a package for OCaml-4.00. Note that this is still=20=20
experimental, and not every package can be installed yet. But the most=20=
=20
important things have already been fixed.

Please use this bootstrap:

http://download.camlcity.org/download/godi-skylift-20120720.tar.gz

The default here is still 3.12, so please change it to 4.00 when you=20=20
are prompted for the OCaml version. To install, just unpack this=20=20
archive, and run

./bootstrap

I ran tests on Linux, OS X, Win32 (32 bit only, with mingw64),=20=20
OpenSolaris, and FreeBSD. Win32 is a bit more complicated, as you need=20=
=20
Cygwin with the _right_ packages. The easiest way is to use S=E9bastien=20=
=20
Fricker's installer on https://forge.ocamlcore.org/projects/cygwingodi/=20=
=20
(GODISetup.exe).

There is still a lot to do until the same quality is reached as for=20=20
3.12. If you like to help, you are very welcome - just sign up to the=20=20
GODI mailing list, and send a message:=20=20
https://godirepo.camlcity.org/mailman/listinfo/godi-list

More information on GODI is available here: http://godi.camlcity.org

Gerd
--=20
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------=