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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id CB8FFBB84 for ; Tue, 17 Jun 2008 15:41:49 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsoCAKRbV0jAXQIniGdsb2JhbACRZUMBAQEPIJhjgyM X-IronPort-AV: E=Sophos;i="4.27,658,1204498800"; d="scan'208";a="13957315" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Jun 2008 15:41:49 +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 m5HDfn36015592 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 17 Jun 2008 15:41:49 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8BAMtbV0jRVcirc2dsb2JhbACRZUMBDAMEBAkPBZhrgyM X-IronPort-AV: E=Sophos;i="4.27,658,1204498800"; d="scan'208";a="14116542" Received: from wf-out-1314.google.com ([209.85.200.171]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 Jun 2008 15:41:48 +0200 Received: by wf-out-1314.google.com with SMTP id 25so6529800wfa.0 for ; Tue, 17 Jun 2008 06:41:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=urwWucPEBNnGXZ9Qw4L5c5Z1SPfF0IjyeSUSIB2xGPI=; b=ff//B8YLJomSaCvZJNxbynrXJG9hxjxDxMItBE7Enpem3nO7ax+pqctI0L7ImpMFtz O/bDIL+dx6HrMXccXqHfvKQDpjAY9bn9eHMSVLVMcLaACY9Yo2N8ppDhB9T5KcC6nses lRqG0kINLaYezLjSbs20NyEfz+ja7OlU0o+UM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=AzG7slkP7OWnnRbRzifI9WbA7dcZfHKreDW2PrOaFujr95Z1cALHqvZC38wMusTZ7l HNnDuYx7F6XuEjCJ3ktO5idksAgvgfVDIKVWB2zYhoHGNv+UAiF3xNLaZjSBwzT5XBc9 ueYUw/x4RkN1AJyg34ddI9Pv6EqxVDz7irjYU= Received: by 10.142.239.13 with SMTP id m13mr2911456wfh.298.1213710106164; Tue, 17 Jun 2008 06:41:46 -0700 (PDT) Received: by 10.142.229.18 with HTTP; Tue, 17 Jun 2008 06:41:46 -0700 (PDT) Message-ID: <6cb897b30806170641kb56c15er17692da0961a17f4@mail.gmail.com> Date: Tue, 17 Jun 2008 15:41:46 +0200 From: "Pierre-Evariste Dagand" To: info@gerd-stolpmann.de, caml-list@inria.fr Subject: Re: [Caml-list] GODI News: RocketBoost Beta In-Reply-To: <1213541678.22235.107.camel@flake.lan.gerd-stolpmann.de> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1213541678.22235.107.camel@flake.lan.gerd-stolpmann.de> X-Miltered: at concorde with ID 4857BF1D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; uname:01 gcc:01 compiler:01 model:01 gcc:01 ocaml:01 -version:01 toplevel:01 segfaults:01 bug:01 bug:01 7.0:98 7.0:98 bust:98 caml-list:01 Hi, > 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. Regards, -- Pierre-Evariste DAGAND http://perso.eleves.bretagne.ens-cachan.fr/~dagand/