From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <martindemello@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 974BD7EEAF
	for <caml-list@sympa.inria.fr>; Mon, 28 Jan 2013 02:56:25 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  martindemello@gmail.com) identity=pra;
  client-ip=209.85.220.174;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="martindemello@gmail.com";
  x-sender="martindemello@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  martindemello@gmail.com designates 209.85.220.174 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.220.174;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="martindemello@gmail.com";
  x-sender="martindemello@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-vc0-f174.google.com) identity=helo;
  client-ip=209.85.220.174;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="martindemello@gmail.com";
  x-sender="postmaster@mail-vc0-f174.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Am0BAHfZBVHRVdyum2dsb2JhbABFvloIFg4BAQEBAQgJCwkUJ4IeAQEFQAEbHQEDDAYFCw0uIQEBEQEFARwGE4d+AQMPDKEXjDOCe4NxChknDVmIdgEFDIwEhRADiGGLVoFWgRyKGoMxFimEOg
X-IronPort-AV: E=Sophos;i="4.84,548,1355094000"; 
   d="scan'208";a="191599732"
Received: from mail-vc0-f174.google.com ([209.85.220.174])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Jan 2013 02:56:25 +0100
Received: by mail-vc0-f174.google.com with SMTP id n11so1541791vch.5
        for <caml-list@inria.fr>; Sun, 27 Jan 2013 17:56:24 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:x-received:in-reply-to:references:date:message-id
         :subject:from:to:cc:content-type;
        bh=oqJ2Lqj31C5ZEYCS6NgzmcKse8kWkjMAVLKnG03SDFE=;
        b=ZjbsIufOIbVivbLVvHu53usjdarmzk2zeACcXh1d+khyOOP/7SqdDGSlaghKhYu3yz
         TIqiKcB1rTw9FdbCslum+Jq/6kka+hrN3mMCxZMuyyLZCZvsViwL3F+T9bccMVhacP/v
         1frXmDG8kSvRmo038e6wZIeKe8kW45ASWWESZSksG5A2v7ZqtGhp4yk5Tkxu0aSTmKMt
         C6jciRx00fRLV/GUwwXshzUCsu+Sh3yWFtDs6ljg/+tgmrGRZ69oc+/+78ysaq/Om4Sl
         aWLIIqGJO36r7DpbH/tZVZv8oRqrCLZtxScgFRr8M5DhGQQ18mndqYe2eP8D9rayifMr
         OUyw==
MIME-Version: 1.0
X-Received: by 10.221.9.136 with SMTP id ow8mr2738793vcb.58.1359338184139;
 Sun, 27 Jan 2013 17:56:24 -0800 (PST)
Received: by 10.220.141.209 with HTTP; Sun, 27 Jan 2013 17:56:23 -0800 (PST)
In-Reply-To: <wfboca9mwu.fsf@gmail.com>
References: <CAFrFfuGTX9W0UJ4qSO4JWQGMsvMwWvXgnTNXjAPUE+PqxzOoKA@mail.gmail.com>
	<wfboca9mwu.fsf@gmail.com>
Date: Sun, 27 Jan 2013 17:56:23 -0800
Message-ID: <CAFrFfuF9QqAykix0YFBgTFspVAp0MoMsjJoCuHs9udLW5Ln=Xg@mail.gmail.com>
From: Martin DeMello <martindemello@gmail.com>
To: Wojciech Meyer <wojciech.meyer@gmail.com>
Cc: "caml-list@inria.fr" <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] If I wanted to write SWIG in OCaml, what library
 would I need?

On Sun, Jan 27, 2013 at 4:22 PM, Wojciech Meyer
<wojciech.meyer@gmail.com> wrote:
> Martin DeMello <martindemello@gmail.com> writes:
>
>> No, I'm not planning on rewriting all of SWIG, but that was the
>> easiest way to explain what I wanted :) I'm looking for a library that
>> can work with C header files, including preprocessor directives, and
>> spit out a data structure that I can use to generate language
>> bindings. C++ support not necessary.
>
> You could just try caml-idl:
>
> http://caml.inria.fr/pub/old_caml_site/camlidl/

I don't want to write OCaml bindings, I want to see if OCaml provides
a nicer way to write a binding generator than libclang does (I'm
betting the answer is yes). I took a look at cowboy, but it's pretty
undocumented, and depends on yacfe which is likewise undocumented :(

martin