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.4 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 B6D90BB84 for ; Thu, 11 Sep 2008 15:02:57 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.32,379,1217800800"; d="asc'?scan'208";a="17131364" Received: from peray.inria.fr (HELO ausone.inria.fr) ([128.93.8.98]) by mail1-relais-roc.national.inria.fr with SMTP; 11 Sep 2008 15:02:57 +0200 Received: by ausone.inria.fr (sSMTP sendmail emulation); Thu, _d Sep 2008 15:02:15 +0200 From: "Nicolas Pouillard" Cc: Caml_mailing list Subject: Re: [Caml-list] Re: pervasives.cmi is not a compiled interface (solved) To: Joel Reymont References: <66E89FA8-25AC-4FD6-B410-DBB70A6107A3@gmail.com> In-Reply-To: <66E89FA8-25AC-4FD6-B410-DBB70A6107A3@gmail.com> Date: Thu, 11 Sep 2008 15:02:15 +0200 Message-Id: <1221138087-sup-9153@ausone.inria.fr> User-Agent: Sup/git Content-Type: multipart/signed; protocol="application/pgp-signature"; boundary="=-1221138135-906244-85438-7338-6-="; micalg="pgp-sha1" MIME-Version: 1.0 X-Spam: no; 0.00; pervasives:01 cmi:01 distclean:01 caml-list:01 solved:04 compiled:04 aka:04 thu:05 sep:06 interface:06 0200:07 nicolas:08 nicolas:08 think:13 build:13 X-Attachments: cset="UTF-8" type="application/pgp-signature" name="signature.asc" name="signature.asc" --=-1221138135-906244-85438-7338-6-= Content-Type: text/plain; charset=UTF-8 Excerpts from Joel Reymont's message of Thu Sep 11 12:44:59 +0200 2008: > Fixed by building with build/fastworld.sh I think that the "make clean && ./build/distclean.sh" have fixed it, not the ./build/fastworld.sh process. All the best, -- Nicolas Pouillard aka Ertai --=-1221138135-906244-85438-7338-6-= Content-Disposition: attachment; filename="signature.asc" Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.8 (Darwin) iEYEARECAAYFAkjJFtcACgkQj+FCNw9dwLlTeQCeOSIfzKHL7EiPYgAxnO9+iMZL z0MAoIo6/fWPVY9ojECnLGoL7c8NSR6D =7tjy -----END PGP SIGNATURE----- --=-1221138135-906244-85438-7338-6-=--