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 0BDA67F0B9 for ; Wed, 7 Sep 2016 13:12:35 +0200 (CEST) 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-qt0-f177.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.216.177; 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.216.177 as permitted sender) identity=mailfrom; client-ip=209.85.216.177; 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-qt0-f177.google.com) identity=helo; client-ip=209.85.216.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qt0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AEOKxxBN83DL4mQPVUPcl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/XzrarrMEGX3/hxlliBBdydsKMdzbSP+Pu7ESxYuNDa7yBEKMQNHzY+yu?= =?us-ascii?q?wo3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9ScbuiJGc1/qz4IHUewV/pKSybKk6eB62twTKqs4Ogc1iLas+xwHhvmYNce?= =?us-ascii?q?lMwWJuY16eyUXS/MC1qbxu6SlVqroQ/spEVr2yK7UxSbhfFBwpNmk04IvgshyV?= =?us-ascii?q?HljH3WcVTmhDykkAOAPC9hyvBpo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUAAB69c9XhrHYVdFdGwEBAQMBAQEXA?= =?us-ascii?q?QEEAQGDDgEBAQEBPDl8B40onzuLUIICHIYAAoFiBzgUAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCAsLCRkvgjIYghgBAQQSER0BGx0BAwwGBQsNAgImAgIiAREBBQEcBhMiiA0BA?= =?us-ascii?q?xeiC4EyPjKLPYFqgl4Fg3sKGScNU4I5AQEBAQYBAQEBARoCBhB1iXiHQoJaBZl?= =?us-ascii?q?ZhiKJG4I8jR+MUII5Ex6BER6DER6BWDs0hVYBAQE?= X-IPAS-Result: =?us-ascii?q?A0CUAAB69c9XhrHYVdFdGwEBAQMBAQEXAQEEAQGDDgEBAQE?= =?us-ascii?q?BPDl8B40onzuLUIICHIYAAoFiBzgUAQEBAQEBAQEBAQESAQEBCAsLCRkvgjIYg?= =?us-ascii?q?hgBAQQSER0BGx0BAwwGBQsNAgImAgIiAREBBQEcBhMiiA0BAxeiC4EyPjKLPYF?= =?us-ascii?q?qgl4Fg3sKGScNU4I5AQEBAQYBAQEBARoCBhB1iXiHQoJaBZlZhiKJG4I8jR+MU?= =?us-ascii?q?II5Ex6BER6DER6BWDs0hVYBAQE?= X-IronPort-AV: E=Sophos;i="5.30,296,1470693600"; d="scan'208";a="235551534" Received: from mail-qt0-f177.google.com ([209.85.216.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Sep 2016 13:12:34 +0200 Received: by mail-qt0-f177.google.com with SMTP id p30so5424069qte.3 for ; Wed, 07 Sep 2016 04:12:34 -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:content-transfer-encoding; bh=SzXnmsKAwrkBUvoFz7yJcyDqb705s6+u6Bh8Wg/TrqM=; b=PnD/+qMDr5/FZvfzqiHPS3TMsgV2y1E7NwM6B2iAbc+DcWiEu1ZUYnQeVEDme09kBL qZ6NYQHfzAtpfPDIs4+224CfCilsd1IxNf4C6ZDpV5l8nUcIzoi7VCppN0vBHhKWtBel N4qKCegoEeL6+wyeY6eHibzkmFdkobudZjRn378b6S5TLDVi//3r6EVM+DmaWuccC6ol tGViRhETwqrwvIbPKgj9MQo+Nm+qzmCGIbtykXUwBn6vhluPWADsVvvQjDU1fh8XcWhU NkZ4bX8TnTa45Sw2rGVYg1Xu9DTC5l1JbylYHZx4rg9mQwTZv9NtFtRitb/gPtsSGWqt fd+Q== 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:content-transfer-encoding; bh=SzXnmsKAwrkBUvoFz7yJcyDqb705s6+u6Bh8Wg/TrqM=; b=ie0kLfKc5AJ8a6CmmP2kSuMB3bdaVkJiW5w3Q1QqixQQb5z3hIGF7lRoznmH+PwFRJ YtFhn+1HLHe+VD5EdLd/IBHhTNlD8AKSihIXLrENv4fd1RaVGR9Sr8NpihYPLDU5OVAa Rhg9ywyTkd7AHn0GeU46l1EWszijc5x2xM/jSvFACXHGgNYlvJlnHiPaLnMx5f6ayHvk O4YYhttCs8v7rU6VKirfW0CIUy0qVgU8giVe1vDMkk9+J59vn85NO1ckNztBJO9W8pEJ 9DgwJRNLY1l0l8yl2WwSAQUtN8Tou4rkLLnKuVjUDmhyCf3QEEFUOoby4CQLbmezZn6r BhQQ== X-Gm-Message-State: AE9vXwNaS0L+QGVIqFhNOsQCZ7JNvX9Lt7UP2nLZd+G2mN2uqrMA2MtqAqaqui/A7KiCV5vPfMAD4LTvAAA9Og== X-Received: by 10.200.47.79 with SMTP id k15mr20263754qta.108.1473246753217; Wed, 07 Sep 2016 04:12:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.55.81.2 with HTTP; Wed, 7 Sep 2016 04:12:32 -0700 (PDT) In-Reply-To: <6607ba43-1e6f-184d-5c04-5565bdd8604d@tu-berlin.de> References: <6607ba43-1e6f-184d-5c04-5565bdd8604d@tu-berlin.de> From: Jeremy Yallop Date: Wed, 7 Sep 2016 12:12:32 +0100 Message-ID: To: =?UTF-8?Q?Christoph_H=C3=B6ger?= Cc: caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ctypes and oasis Dear Christoph, On 7 September 2016 at 09:58, Christoph H=C3=B6ger wrote: > I attempt to compile an oasis project structured like this: > > library Bar > Modules: Wrapper > CSources: bar.c > BuildDepends: ctypes.foreign > CCLib: -lfoo > > > Essentially, bar is both an extension of foo and a binding of this > extension for OCaml (using ctypes). > > The "extension" point is problematic. While I can build this lib just > fine, the ctype bindings to the extension methods in bar.c are not found > at runtime using Dl: The easiest approach is to build a shared library libbar.so from bar.c using the C toolchain and then to link that library in to the Bar OCaml library using -lbar. Kind regards, Jeremy.