From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 ABFA67EE36 for ; Tue, 22 Mar 2016 12:11:46 +0100 (CET) IronPort-PHdr: 9a23:3J/bghPaW/RNPPs5hvwl6mtUPXoX/o7sNwtQ0KIMzox0KPvzrarrMEGX3/hxlliBBdydsKIUzbOK+Pq7EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35Txjrz5ocabSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzsShCQ531UTGIQ2jBSDgTI9hX9Qd+lvSzhqet7nTffN+XpQLpyVTn0vIlxTxq9qiodOjsouFDejsh3lOoPsRuloxtn64HRaYCRcvF5e/WOLpshWWNdU5MJBGR6CYSmYt5KVrJZMA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.220.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yallop@gmail.com designates 209.85.220.172 as permitted sender) identity=mailfrom; client-ip=209.85.220.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f172.google.com) identity=helo; client-ip=209.85.220.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qk0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B2AABSJ/FWk6zcVdFehAZ6BqgnhyWKcwENgXAhhWwCgTsHOBQBAQEBAQEBARABAQEBBw0JCSEvgi2CFQEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEyKHbwEDEg6hCoExPjGLNoFqgleFZgoZJw0VPIQPAQEBAQEFAQEBAQEBFAEBBAoFbYlmhzyCVgWXV4VxiBOPCY1JER6BDx4BAYI4HhyBNTwuigYBAQE X-IPAS-Result: A0B2AABSJ/FWk6zcVdFehAZ6BqgnhyWKcwENgXAhhWwCgTsHOBQBAQEBAQEBARABAQEBBw0JCSEvgi2CFQEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEyKHbwEDEg6hCoExPjGLNoFqgleFZgoZJw0VPIQPAQEBAQEFAQEBAQEBFAEBBAoFbYlmhzyCVgWXV4VxiBOPCY1JER6BDx4BAYI4HhyBNTwuigYBAQE X-IronPort-AV: E=Sophos;i="5.24,376,1454972400"; d="scan'208";a="209447312" Received: from mail-qk0-f172.google.com ([209.85.220.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Mar 2016 12:11:44 +0100 Received: by mail-qk0-f172.google.com with SMTP id s68so90426045qkh.3 for ; Tue, 22 Mar 2016 04:11:44 -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:to :cc; bh=gQtMrecA8Czmkfg8whJTeRfi2bThj4lU8+HKGmdcaX0=; b=a8HFdiueXROG85OnzkePOhOrjRbzc9pGmrcKRD3oZnnA0kuRvq+LYL49g7VI4geWgD NhXc4CN3ZKUkhx5WpqzUmscMBHwWRmZZjgcuZcbNxRCrI8cFyUs4NtkU7FTHWdD9v7I7 pIwZzsh+QSt7jk1sumpERYqmja7620x6tybBxsNRupacr8Z4+dyBq3fTg0f22mlu0Dzi Y4YoYtmoalBgJHQRIfO186cG8Bvgywxpv6T5CGZn4VyR+upyLNnaQ1DPauRoxjxotTwx VxpP4Uhxw0/Sz4LmoutyH3d9aO6flWALvMZhPnDie35A0daMe9q/qT2lhE5/hP5+D7ZQ 9b2Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=gQtMrecA8Czmkfg8whJTeRfi2bThj4lU8+HKGmdcaX0=; b=bBclSprsKU1tS6w0PMNhukP4M4JP3QTS75j7L6gFPVRr2CeGc0Wu/FkIyFaKDP6WdX CacEW8ovjNrdKC35yBIj3Y7aOSkZCad8ruPLCN5+UtYHaTT0i1Hy4MLHvFldAjoTPbJs GYz5ktD/K9qYiOLf898QJ8NsXZuyHRy7gWvSouWyUp2LONVfCj7cNXbD4345KO3tUdBA AYp8r5dEjHxsY/zLzFfru9nRYefbIORhyoMagUOOVoNOdl81o0sRwSEo+zqk4KBHSg+V CPwGAgC2+hV4c6yHkweNC2m3Vl+sD+ZEMc4+/1Iu3VuShot7iEBZ7Xl6gXBsrjN1rdlK TicA== X-Gm-Message-State: AD7BkJIKLJwO1unCVPHatAZGXTCaYQoqQ34ct828SlqBU423U4MU2CDOP3427C2wgtr2DrfZPJ1oMuKRLuMYqw== MIME-Version: 1.0 X-Received: by 10.55.200.215 with SMTP id t84mr46471995qkl.55.1458645103415; Tue, 22 Mar 2016 04:11:43 -0700 (PDT) Received: by 10.55.104.66 with HTTP; Tue, 22 Mar 2016 04:11:43 -0700 (PDT) In-Reply-To: <20160322102029.GA24768@frosties> References: <20160322102029.GA24768@frosties> Date: Tue, 22 Mar 2016 11:11:43 +0000 Message-ID: From: Jeremy Yallop To: Goswin von Brederlow Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] ANN: ocaml-ctypes 0.5.0, a library for calling C functions directly from OCaml On 22 March 2016 at 10:20, Goswin von Brederlow wrote: > On Mon, Mar 21, 2016 at 07:42:05PM +0000, Jeremy Yallop wrote: >> I'm pleased to announce release 0.5.0 of ocaml-ctypes, which is now >> available on OPAM. > > Does anyone have an example of using ctypes with stub generation using > oasis? OPAM suggests that there are a few: $ comm -12 <(opam list --short --depends-on oasis) <(opam list --short --depends-on ctypes) flock nocrypto ocephes sanlock tsdl-image zstd Here's the link to the homepage for the first result, which has some oasis and ocamlbuild rules for ctypes stub generation: $ opam show -f homepage flock https://github.com/simonjbeaumont/ocaml-flock