English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
GODI News: RocketBoost Beta
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-06-17 (13:41)
From: Pierre-Evariste Dagand <pedagand@g...>
Subject: Re: [Caml-list] GODI News: RocketBoost Beta

> In the past weeks I've worked hard to finish the next GODI release,
> focusing on portability. A beta version of the new bootstrap and
> godi_console, called RocketBoost, is now available, and it would be
> great if it were tested at large.

Great work, thanks !

So, this works for me :

$ uname -m  -r -s
FreeBSD 7.0-RELEASE i386

$ gcc -v
Using built-in specs.
Target: i386-undermydesk-freebsd
Configured with: FreeBSD/i386 system compiler
Thread model: posix
gcc version 4.2.1 20070719  [FreeBSD]

$ ocaml -version
The Objective Caml toplevel, version 3.10.1

Although, I had (and still have) troubles installing the "standard"
Godi system on FreeBSD 7.0: godi_create segfaults. Two months ago, I
spent some time solving the issues until the point where godi_create
behaves segfaultlessly but, then, that was yet another godi_* tool
that gone into an infinite loop. Sadly, I did not find the time to
bust the bug or even to make a bug report. Now, I have some free time
so if this is still of interest I can try again to make it work.


Pierre-Evariste DAGAND