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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5A9AA7EE35 for ; Tue, 22 Mar 2016 16:07:22 +0100 (CET) IronPort-PHdr: 9a23:LFQf9h2hqaGJ6pdJsmDT+DRfVm0co7zxezQtwd8ZsegeK/ad9pjvdHbS+e9qxAeQG96Lu7Qd16GJ6ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6CyZ3rnL/rs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+mhDJVwqC4jMnWWUbiBdSS1zK5RvgX5r19DDxtudn1TOyMsj/TLRyUjOnufRFUhjt3QUKLTM84Snmg8h0i7oT9AOooxh426bbZYiUMLx1eaaLLoBSfnZIQssED38JOYi7dYZaSrNZZes= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f170.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.220.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yallop@gmail.com designates 209.85.220.170 as permitted sender) identity=mailfrom; client-ip=209.85.220.170; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f170.google.com) identity=helo; client-ip=209.85.220.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qk0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CBAAAxX/FWk6rcVdFehAZrDwaoJ5IYAQ2BcCGFbAKBPgc4FAEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEEhEdARsdAQMMBgULDQICJgICIQEBEQEFARwGEwgah28BAxIOojmBMT4xizaBaoJXhnQKGScNUYQPAQEBAQEBBAEBAQEBAQETAQEECgVtiWaCPoR+glYFlyYxhXGGHoF1jwmHMoYXER6BDx4BAYI4HhyBNTwuigYBAQE X-IPAS-Result: A0CBAAAxX/FWk6rcVdFehAZrDwaoJ5IYAQ2BcCGFbAKBPgc4FAEBAQEBAQEBEAEBAQEHDQkJIS+CLYIVAQEEEhEdARsdAQMMBgULDQICJgICIQEBEQEFARwGEwgah28BAxIOojmBMT4xizaBaoJXhnQKGScNUYQPAQEBAQEBBAEBAQEBAQETAQEECgVtiWaCPoR+glYFlyYxhXGGHoF1jwmHMoYXER6BDx4BAYI4HhyBNTwuigYBAQE X-IronPort-AV: E=Sophos;i="5.24,377,1454972400"; d="scan'208";a="170204088" Received: from mail-qk0-f170.google.com ([209.85.220.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Mar 2016 16:07:21 +0100 Received: by mail-qk0-f170.google.com with SMTP id s68so93185390qkh.3 for ; Tue, 22 Mar 2016 08:07:21 -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=NgsnrK9irBR7rmw4gT007NKkmSJtygtnZQOw9jLSwik=; b=Jk6HyFyD6CNz70haX3U8BTfemikF1JlY84SD95prU0ggnrIWqdWDn7TR3toP7NLb3J avjQJtachbZPNLJQwseZOfORi4cCFKRNEwQzSfAn3tfbD9zsDnt4WPd9fVPpHK8gFUe1 HEplwWWMClnxnlNzWtuNrg7bmVzckwO1s3drGEwUwhUcGwrMg2sScA71K/4VLRByG8JZ kl/w2jHFSeZqyHP4aPVUxGskjy74uKjNENLzezIKOARgtiBzwQFJ8o7JdQgkYV0MEo+N q/2E+RR+G8cEy3rc4ioXMdM3p/XTSsPvto8wv/wbvI96+OhisAuHh4koaOy2KTKK+Yv0 PL8w== 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=NgsnrK9irBR7rmw4gT007NKkmSJtygtnZQOw9jLSwik=; b=DDxXD6RZpmTDaXqzhXzL0uoqTG1t2QZMMOvqh5jyCHr6QIsE5StfPkLhckf/XczWtY q7Bp/uTWfu3Ugi6stM1pSLo5S1CnqL81U3mRy7b/BW38stznNqJXqBms/nZNCrUpbNag AUpVw6S3/Kc/Z13emZOtzcTcy8yRpWaP5DwEST8Dbq2qlqW1jdIrcOxcicjGgaEyifwc M701/WT7iEM0NyAFEr0YhRJTMVx35hlowktnyZNUuSl9jZFUJtCB5GoT0tWncakWzQRi SytGrvswWU6gHAEJ6FS0r0j31S80zREe64WgVZ8fHoe97dgJTAlLX2ntShx/fkLyOtjx pM0Q== X-Gm-Message-State: AD7BkJJiJU/AK4zu+VweHKhsdEsRaR9VEcPbiFMdocQ9anASYrWKCcDvH67lZBNHOCjJYhMqerpDOFSlYfp8mg== MIME-Version: 1.0 X-Received: by 10.55.80.136 with SMTP id e130mr47753025qkb.28.1458659240145; Tue, 22 Mar 2016 08:07:20 -0700 (PDT) Received: by 10.55.104.66 with HTTP; Tue, 22 Mar 2016 08:07:20 -0700 (PDT) In-Reply-To: References: <20160322102029.GA24768@frosties> Date: Tue, 22 Mar 2016 15:07:20 +0000 Message-ID: From: Jeremy Yallop To: Gabriel Scherer Cc: Goswin von Brederlow , 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 15:00, Gabriel Scherer wrote: >> [flock] has some oasis and ocamlbuild rules for ctypes stub generation. > > Maybe it would be a good time for the ctypes+ocamlbuild users to agree > on a set of common rules and distribute them as a separate plugin. (I > wouldn't mind helping on the ocamlbuild part if necessary, but I don't > use ctypes myself.) I think that's an excellent idea. I don't use ocamlbuild, but I can certainly help on the ctypes side. There's an issue already open on the issue tracker: https://github.com/ocamllabs/ocaml-ctypes/issues/299 Contributions that make it simpler to build libraries that use ctypes would be very much appreciated, both by me, and by a number of ctypes users. Kind regards, Jeremy.