From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 10D347ED7A for ; Wed, 22 Aug 2012 16:05:20 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of camaradetux@gmail.com) identity=pra; client-ip=209.85.214.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="camaradetux@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of camaradetux@gmail.com designates 209.85.214.180 as permitted sender) identity=mailfrom; client-ip=209.85.214.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="camaradetux@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f180.google.com) identity=helo; client-ip=209.85.214.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="camaradetux@gmail.com"; x-sender="postmaster@mail-ob0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj8GAHTlNFDRVda0k2dsb2JhbABFuUcDGV0IIgEBAQEJCQsJFAQjgiABAQEEDAYCLAEbHQEDDAYFCw0uIQEBEQEFARwZCBqHWwEDDJpCCQOMIoJyhVIKGScNV4hxAQUMihljgSiFdAONdIYLgVOLDYMpPoQE X-IronPort-AV: E=Sophos;i="4.77,808,1336341600"; d="scan'208";a="170522534" Received: from mail-ob0-f180.google.com ([209.85.214.180]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Aug 2012 16:05:18 +0200 Received: by obceq6 with SMTP id eq6so2174207obc.39 for ; Wed, 22 Aug 2012 07:05:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:cc :content-type:content-transfer-encoding; bh=AV9W/YawQwQRvGjaDStvQ+FTDPjVk7YOUp9qtm4WdkE=; b=RolUNWN9a/q1N1txfq9Im/CYbmRXV2AwpV4K2s5HbwhPfllFDKhUqi0JuS44RuugrG CZ2bLIQYioXKRgtswiYi2ESh+HwnZPNEiUlYYwVwcoZLY7UZPG9J9iCTqlwvySzKYgFg ZnD/+p9eEUvG7s2ihiT7TsgnVhO4Ur6M5X5yIL7QbPcY4bGBzWOI2MjTZ5Q+vIIsXkTX YelK9h0R5rEnwHMYRSFX6lYulq9SITyLLEjfqbQ4oCsOcP1LqyJovztow0BwFB8mSkpV kB23c9IirAGXDzMejRXuDl6Iz674LBQy2bgD4tPmIG3SzfeLu2sCo7mBXMza4sMdoQ/r oVXw== MIME-Version: 1.0 Received: by 10.182.17.99 with SMTP id n3mr15624210obd.8.1345644317471; Wed, 22 Aug 2012 07:05:17 -0700 (PDT) Received: by 10.76.2.13 with HTTP; Wed, 22 Aug 2012 07:05:17 -0700 (PDT) In-Reply-To: <20120822145820.19f07f69@caladan.esterel-technologies.com> References: <20120822145820.19f07f69@caladan.esterel-technologies.com> Date: Wed, 22 Aug 2012 16:05:17 +0200 Message-ID: From: Adrien Cc: Caml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] State of Saffire or other FFI-checkers On 22/08/2012, J=E9r=E9mie Dimino wrote: > Le Wed, 22 Aug 2012 14:28:01 +0200, > Adrien a =E9crit : > >> I've fixed the build system a bit but it seems to be missing a module >> named "MLast" and I'm quite obviously stuck on that. > > MLast is from camlp5, you can try to replace all occurrences of camlp4 > by camlp5 (and install camlp5). Thanks, this has unstuck me. Saffire seems to use an older camlp5 API but I know where to look for changes. Regards, Adrien Nader