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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 396777EE4E for ; Tue, 5 Nov 2013 09:12:19 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel@kerneis.info) identity=pra; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel@kerneis.info designates 176.31.113.173 as permitted sender) identity=mailfrom; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@wanbli.kerneis.info designates 176.31.113.173 as permitted sender) identity=helo; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="postmaster@wanbli.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhYFAPWmeFKwH3Gt/2dsb2JhbABZgwfAPQmBJRZ0giUBAQU6BgEBNwEPCw4KCRMSDwUoIYgYAapphFIBBY5TBo9ZB4MggQ+OcokahjENi0yDJg X-IPAS-Result: AhYFAPWmeFKwH3Gt/2dsb2JhbABZgwfAPQmBJRZ0giUBAQU6BgEBNwEPCw4KCRMSDwUoIYgYAapphFIBBY5TBo9ZB4MggQ+OcokahjENi0yDJg X-IronPort-AV: E=Sophos;i="4.93,638,1378850400"; d="scan'208";a="40958394" Received: from wanbli.kerneis.info ([176.31.113.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 05 Nov 2013 09:11:46 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=wanbli-rsa1; h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=PK3NkLoHMmO8dldPjXFdBKkBvTVbDpbmTf+BbZcBUAI=; b=BMG46qFCUaUgoICCqFg0ZxEWu+VGA17C1UQPkdfIrSkcrZeKXdp3K9xeAwq3Bo/JHaeLn4LyBIod52EvycxL5CHwWh90Tzc1an3nnndYdOpyFKpNmlSpIv4xy8d3QJ2InqHPWwtiPC3RLQPapGFNuUBJstnkS807WhI1GNuMTXM=; Received: from [176.25.94.78] (helo=wacehi.kerneis.info) by wanbli.kerneis.info with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from ) id 1VdbkG-0006XN-5f; Tue, 05 Nov 2013 08:12:16 +0000 Received: from gabriel by wacehi.kerneis.info with local (Exim 4.80) (envelope-from ) id 1VdbkF-00019C-8A; Tue, 05 Nov 2013 08:12:15 +0000 Date: Tue, 5 Nov 2013 08:12:15 +0000 From: Gabriel Kerneis To: Peter Zotov Cc: caml-list@inria.fr Message-ID: <20131105081215.GB4121@kerneis.info> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) X-SA-Exim-Connect-IP: 176.25.94.78 X-SA-Exim-Mail-From: gabriel@kerneis.info X-SA-Exim-Scanned: No (on wanbli.kerneis.info); SAEximRunCond expanded to false Subject: Re: [Caml-list] LLVM OCaml bindings On Tue, Nov 05, 2013 at 08:23:55AM +0400, Peter Zotov wrote: > I'm currently working on improving LLVM's OCaml bindings. > There's been quite some progress so far[1]; the only major > areas pending are AOT code generation and MCJIT support. On a slightly unrelated note, do you also plan to work on CLANG (e.g. libclang) bindings? Best regards, -- Gabriel