From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <camaradetux@gmail.com>
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 3AD937ED7A
	for <caml-list@sympa.inria.fr>; Wed, 22 Aug 2012 14:28:04 +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.213.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.213.180 as permitted
  sender) identity=mailfrom; client-ip=209.85.213.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-yx0-f180.google.com) identity=helo;
  client-ip=209.85.213.180;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="camaradetux@gmail.com";
  x-sender="postmaster@mail-yx0-f180.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AokEAJ/ONFDRVdW0k2dsb2JhbABFFrkpA3YIIgEBAQEJCQsJFAQjgjkCLAEbHgMSEF0BEQEFASI1h1sBAwwLl3OCYQkDjCKCcoVRChknDVeIcQEFDIwkhXQDjXSHXo42PoQC
X-IronPort-AV: E=Sophos;i="4.77,808,1336341600"; 
   d="scan'208";a="170510935"
Received: from mail-yx0-f180.google.com ([209.85.213.180])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Aug 2012 14:28:03 +0200
Received: by yenl8 with SMTP id l8so738468yen.39
        for <caml-list@yquem.inria.fr>; Wed, 22 Aug 2012 05:28:02 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=Qfx0sZUv7ojFUmC928mzMPVplcKjmnWgyFzKMJAkZ5Y=;
        b=BZb7eIaW9+90HDis8YxJtKBcux8Xv8/s2Ja/ZSl9IFeh+te4FX1aX2hXDlJWggbNzi
         7Bi6MO6wjsMnwuD/0MxgMauQv0HjtntH46Is9JDgh/R6WI5H3oPWtdo00F2mlpQyWRyh
         f82enWgobj0YC8LEk9kJB17dGBKtwr809+7Ona2zhbQZ4uQTV47vjWdXJHzkncOFLCbp
         fKTb6s+R3/jaqApJCp3kqT23oI09Q32Z25POLFe6R0AFvBBxfrRZ3wnKGDIH0udh9PsH
         E+glyknjP4X2YocZqR+wHpQi5MHHJBKxOgA/M1IYdqFZiMkS/sEoOTOxooXFPHlav65k
         y8oA==
MIME-Version: 1.0
Received: by 10.60.171.5 with SMTP id aq5mr15443546oec.34.1345638482049; Wed,
 22 Aug 2012 05:28:02 -0700 (PDT)
Received: by 10.76.2.13 with HTTP; Wed, 22 Aug 2012 05:28:01 -0700 (PDT)
Date: Wed, 22 Aug 2012 14:28:01 +0200
Message-ID: <CAP5QFJkhVuw-6CZ3YFCNhcO-Y3RsQk3DYKSy+nv3pbM9FwNX8w@mail.gmail.com>
From: Adrien <camaradetux@gmail.com>
To: Caml Mailing List <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: [Caml-list] State of Saffire or other FFI-checkers

Hi,

I regularly stumble on Saffire which is an FFI-checker. Its webpage is
dead but still accessible (along with a release tarball) through
archive.org:
  http://web.archive.org/web/20100130005640/http://www.cs.umd.edu/~furr/saffire/

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.

Has anyone updated saffire? Or has build sources that work? Or something at all?

Or are  there other checkers?

Thanks,
Adrien Nader