From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <David.Teller@ens-lyon.org>
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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id B050CBBAF
	for <caml-list@yquem.inria.fr>; Mon,  9 Mar 2009 15:41:36 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApkEAFvHtEnCpx6wgWdsb2JhbACVLhYiuxyEBQaGaQ
X-IronPort-AV: E=Sophos;i="4.38,329,1233529200"; 
   d="scan'208";a="22266356"
Received: from smtpmin.univ-orleans.fr (HELO min.univ-orleans.fr) ([194.167.30.176])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Mar 2009 15:41:36 +0100
Received: from smtps.univ-orleans.fr (localhost [127.0.0.1])
	by min.univ-orleans.fr (Postfix) with ESMTP
	id 7D69312B555; Mon,  9 Mar 2009 15:41:36 +0100 (CET)
Received: from [192.168.1.126] (unknown [213.144.210.93])
	by smtps.univ-orleans.fr (Postfix) with ESMTP id 8238836E61;
	Mon,  9 Mar 2009 15:41:38 +0100 (CET)
Subject: Re: [Caml-list] batteries, godi and OS X leopard
From: David Rajchenbach-Teller <David.Teller@ens-lyon.org>
To: Peter Hawkins <hawkinsp@cs.stanford.edu>
Cc: Yitzhak Mandelbaum <yitzhakm@cs.princeton.edu>,
	List caml <caml-list@inria.fr>
In-Reply-To: <b0b348900903090725g2ca62422g26810362dc1e5d88@mail.gmail.com>
References: <3481207A-8ECF-4070-A1B6-DE47F77BCBC1@CS.Princeton.EDU>
	 <b0b348900903090725g2ca62422g26810362dc1e5d88@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Date: Mon, 09 Mar 2009 15:42:01 +0100
Message-Id: <1236609721.18569.62.camel@Blefuscu>
Mime-Version: 1.0
X-Mailer: Evolution 2.12.1 
Content-Transfer-Encoding: 8bit
X-Spam: no; 0.00; ens-lyon:01 cheers:01 mli:01 cheers:01 univ-orleans:01 lifo:01 2009:98 wrote:01 compilers:01 caml-list:01 func:01 fix:05 distributed:05 problem:05 chercheur:07 

We should have a new release of Batteries by the end of the month,
though.

Cheers,
 David


On Mon, 2009-03-09 at 07:25 -0700, Peter Hawkins wrote:
> Hi...
> 
> Yes. The problem is to do with the case of "Compilers.mli":
> http://forge.ocamlcore.org/tracker/index.php?func=detail&aid=168&group_id=17&atid=151
> 
> I have no idea how you fix this if you're doing a GODI build. I gave
> up and built everything by hand.
> 
> Cheers,
> Peter

-- 
David Teller-Rajchenbach
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
   « Ce matin Un crétin A tué un chercheur. » (air connu)
   Latest News of French Research: System being liquidated. Researchers angry.