From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jeremie@dimino.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 970C87ED7A
	for <caml-list@sympa.inria.fr>; Wed, 22 Aug 2012 14:58:23 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jeremie@dimino.org) identity=pra; client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="jeremie@dimino.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  jeremie@dimino.org designates 213.186.38.18 as permitted
  sender) identity=mailfrom; client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="jeremie@dimino.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@solaria.dimino.org) identity=helo;
  client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="postmaster@solaria.dimino.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlsJAJLWNFDVuiYS/2dsb2JhbABFhSdaszoEBH6BB4IgAQEEAQwXVgULCQIaAiYCAiE2BhOHfgMGCqYviVwNiU6BIYkEY4YKgRIDk3+BUosOhQaCYw
X-IronPort-AV: E=Sophos;i="4.77,808,1336341600"; 
   d="scan'208";a="153583564"
Received: from solaria.dimino.org ([213.186.38.18])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 22 Aug 2012 14:58:23 +0200
Received: from caladan (caladan.dim [10.200.42.12])
	by solaria.dimino.org (Postfix) with ESMTP id 34BD080083;
	Wed, 22 Aug 2012 14:58:22 +0200 (CEST)
Received: from caladan.esterel-technologies.com (localhost [127.0.0.1])
	by caladan (Postfix) with ESMTP id 94B7AFF904;
	Wed, 22 Aug 2012 14:58:21 +0200 (CEST)
Date: Wed, 22 Aug 2012 14:58:20 +0200
From: =?UTF-8?B?SsOpcsOpbWll?= Dimino <jeremie@dimino.org>
To: Adrien <camaradetux@gmail.com>
Cc: Caml Mailing List <caml-list@yquem.inria.fr>
Message-ID: <20120822145820.19f07f69@caladan.esterel-technologies.com>
In-Reply-To: <CAP5QFJkhVuw-6CZ3YFCNhcO-Y3RsQk3DYKSy+nv3pbM9FwNX8w@mail.gmail.com>
References: <CAP5QFJkhVuw-6CZ3YFCNhcO-Y3RsQk3DYKSy+nv3pbM9FwNX8w@mail.gmail.com>
X-Mailer: Claws Mail 3.8.1 (GTK+ 2.24.10; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] State of Saffire or other FFI-checkers

Le Wed, 22 Aug 2012 14:28:01 +0200,
Adrien <camaradetux@gmail.com> a =C3=A9crit :

> 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).

Cheers,

--=20
J=C3=A9r=C3=A9mie