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.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 94626BB84 for ; Thu, 11 Sep 2008 12:45:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AooAABSTyEhKfVwam2dsb2JhbACSJT4BAQEBAQgDCAkRnh6GWQEChAc X-IronPort-AV: E=Sophos;i="4.32,378,1217800800"; d="scan'208";a="14823101" Received: from qw-out-2122.google.com ([74.125.92.26]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2008 12:45:04 +0200 Received: by qw-out-2122.google.com with SMTP id 9so21157qwb.15 for ; Thu, 11 Sep 2008 03:45:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=77uA9wN6LcWtTT3keWZfiigsfUFFGPtj2Ysp1MA6EQQ=; b=qiTu8uuQB94iXi93wILA17xpOBgyWRcRglS7B+RcsjKQMtQRLFHO548af7Twg32wIQ ZkaLCcx9bZIpwLZwD2D0rlDkSgK4IRXl1Jj+Vdq2jPpwwhy5rn6X+9TXtH3q8WAQqIlr EF2Q5f0xqLGDg+lL0qa8KIIFRWoTlMO4FLnDw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=Kf9b0TLHPV1JolgaUuG16zDwFL6dJrDTdNytwyrnwboYqtdXn9V2+B/QYRWvPq35Z4 RguktZoFFeBuyfWLoG+u1EkVINiBDuRLW07ZiIAAywuAb7IGeq8jjuXJJs4qqDnL0WO0 9Za1bnQiF7QIXrMXR+fniNwcrgwA4fQXrT5yg= Received: by 10.214.43.8 with SMTP id q8mr2249422qaq.53.1221129903202; Thu, 11 Sep 2008 03:45:03 -0700 (PDT) Received: from ?10.10.30.6? ( [88.27.249.46]) by mx.google.com with ESMTPS id 4sm6366729qwe.3.2008.09.11.03.45.01 (version=SSLv3 cipher=RC4-MD5); Thu, 11 Sep 2008 03:45:02 -0700 (PDT) Message-Id: <66E89FA8-25AC-4FD6-B410-DBB70A6107A3@gmail.com> From: Joel Reymont To: O'Caml Mailing List In-Reply-To: Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v926) Subject: Re: pervasives.cmi is not a compiled interface (solved) Date: Thu, 11 Sep 2008 11:44:59 +0100 References: X-Mailer: Apple Mail (2.926) X-Spam: no; 0.00; pervasives:01 cmi:01 solved:04 compiled:04 interface:06 build:13 fixed:19 building:19 com:74 com:74 joel:26 with:29 not:47 gmail:48 Fixed by building with build/fastworld.sh -- wagerlabs.com