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 808617EE3F for ; Tue, 22 Mar 2016 16:01:22 +0100 (CET) IronPort-PHdr: 9a23:P0+1xhL7Y8FA5UZ2jtmcpTZWNBhigK39O0sv0rFitYgVKvzxwZ3uMQTl6Ol3ixeRBMOAu6IC0rad7f2ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC34Lui6vsptX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFm0vb2rgHORhej4X4VU2Ne0kYZQluN0BavfJrrvy7r/tt03C2dJYWiXLkwXTO6x6huQR7sziwAMmhq3nvQj5lfhahBoR+l7yd0w4PObZvdYPV3dLnccNdcXmFBU9xcTQROB4q9a80ECO9XbrUQlJX0u1Zb9Uj2PgKrHu66j2IRiw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f176.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.176 as permitted sender) identity=mailfrom; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f176.google.com) identity=helo; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AhAQAFXvFWkrDfVdFeg1E1egaoJ4FPkEkBDYFwIYVsAoE+BzgUAQEBAQEBAQEQAQEBAQcLCwkhL4ItghUBAQQSER0BGxILAQMMBgULDQICCR0CAiEBAREBBQEKEgYTEhCHbwEDEg6iNoExPjGLNoFqgleGcwoZJwMKFTyEDwEBAQEGAQEBAQEVAQUKBW2FIoREgj6EfoJWBYYhDJB5MYFShB+GHoF1gjKMV4cyhhcRHoEPHgEBgjgeHIE2Oy6KBgEBAQ X-IPAS-Result: A0AhAQAFXvFWkrDfVdFeg1E1egaoJ4FPkEkBDYFwIYVsAoE+BzgUAQEBAQEBAQEQAQEBAQcLCwkhL4ItghUBAQQSER0BGxILAQMMBgULDQICCR0CAiEBAREBBQEKEgYTEhCHbwEDEg6iNoExPjGLNoFqgleGcwoZJwMKFTyEDwEBAQEGAQEBAQEVAQUKBW2FIoREgj6EfoJWBYYhDJB5MYFShB+GHoF1gjKMV4cyhhcRHoEPHgEBgjgeHIE2Oy6KBgEBAQ X-IronPort-AV: E=Sophos;i="5.24,377,1454972400"; d="scan'208";a="170202533" Received: from mail-io0-f176.google.com ([209.85.223.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Mar 2016 16:00:48 +0100 Received: by mail-io0-f176.google.com with SMTP id o5so161734319iod.2 for ; Tue, 22 Mar 2016 08:00:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=6bNnjpvpsxMUiDLJeWJmLFDVO8A1PKvtGXaMf5sURnM=; b=z/h4zqWyh91sneLxO4R1M8l69b2hWlw1ews/9JPgXKA5t5hxRQlhusGAWv9MtC5Pk+ ct+AtpP8DlWiJsIg93T5ZZ8seoeyQe1pxzXwQsmd0op6nIG/Sm7cjd5s6pO9YwUnNweR yL3TzljT8gGiY5GREMJ1o8qa/WpCGt+kg0968NAah80TDSJgPds9o2WBX+smIcBdiP9E xCrx/dVmF1YuQraRTy53KbJ8weL/2SV7HIctWHcnedCtEQRpq1vaKMQrU7sBtnVKbX64 rc5pIGhca/zR11nIgJHQsyIwxYmzHIta6RUj0sLE6B48hw76uq3x+Zc73JOoT/zMy1JW 4Dyg== 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:from:date :message-id:subject:to:cc; bh=6bNnjpvpsxMUiDLJeWJmLFDVO8A1PKvtGXaMf5sURnM=; b=jwMv7YjBsilYruIuA1Ug5N9Tr7SHpQoauEKvK4gQpuWCTkQJyCi8TIog5XqZ9g6FIr qJjJiqr+xNUfed+0Jpd2+fQLDvDeJPLCaEdr5KEksKXjYsq4LA5YLi0vy6ufTobiGhA3 pvrweWeR+g7qVr6BS7FFh5DK5fZY0KDbao3Jv0x/Q7JFI8FQQZN+27oW1lroBecZU8b2 HZQD6DlxMlm5jlPihX01JGEPY/UrOIoPXh4bQiz8HnHJP8Jkmhl6X0jElZHb/9ePCOJ6 ApWFHovakR8xIHLSVxWvCxu3nTt29lIB8eMQX0TyD29rNVQixMvNTH5k8p/rKuJDTBOH pgOg== X-Gm-Message-State: AD7BkJJ4YuPyUqS4U2uQe/Y9lLdC6VoF8zRnLhWmEVCz0sQKyUPOw4bDmCT9cH4lt7ouTE/uykGGHMgRi1R+qg== X-Received: by 10.107.169.105 with SMTP id s102mr7765585ioe.19.1458658847086; Tue, 22 Mar 2016 08:00:47 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.17.4 with HTTP; Tue, 22 Mar 2016 08:00:07 -0700 (PDT) In-Reply-To: References: <20160322102029.GA24768@frosties> From: Gabriel Scherer Date: Tue, 22 Mar 2016 16:00:07 +0100 Message-ID: To: Jeremy Yallop 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 > [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.) On Tue, Mar 22, 2016 at 12:11 PM, Jeremy Yallop wrote: > 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 > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs