From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p46EZd38013774 for ; Fri, 6 May 2011 16:35:39 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0OAKsGxE1ii1vBWmdsb2JhbACEU5NYMY1wARYKCgcRCCKlfI4ePIIuhQiJEgEEBQGBJINegQEEhj2NPyaKKg X-IronPort-AV: E=Sophos;i="4.64,326,1301868000"; d="scan'208";a="82502277" Received: from nm7-vm1.bullet.mail.sp2.yahoo.com ([98.139.91.193]) by mail3-smtp-sop.national.inria.fr with SMTP; 06 May 2011 16:35:32 +0200 Received: from [98.139.91.62] by nm7.bullet.mail.sp2.yahoo.com with NNFMP; 06 May 2011 14:34:16 -0000 Received: from [98.139.91.54] by tm2.bullet.mail.sp2.yahoo.com with NNFMP; 06 May 2011 14:34:16 -0000 Received: from [127.0.0.1] by omp1054.mail.sp2.yahoo.com with NNFMP; 06 May 2011 14:34:16 -0000 X-Yahoo-Newman-Property: ymail-5 X-Yahoo-Newman-Id: 64246.7633.bm@omp1054.mail.sp2.yahoo.com Received: (qmail 97530 invoked by uid 60001); 6 May 2011 14:34:15 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1304692455; bh=HA8ZsZrV2o538rZcZ8SVaN7Gb1Z2tKRrUeOZ51NoVcY=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=1PS6S8egCNsGrEjvy7NN/nphh8UnpK5Xr6eNKxyz4dG5w5Bt26D9ftxbQCvPSMX0S5J277zQsdAGC7dUkIVwg0olg6CQP40mPuuUccmubhK9HWvOUpY3pyofasrA0RilEXbXcfj6PD3fa2RC3uPscIaQBaO+yVpkd0VHldzuu98= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=l6IFDdwEa4QKE1sYgVYSrexE+nIZebFf4F3yHRj2xLm0ocQcLhbCe9ne5a5Kg9m5M6MXS8XHi95bSgIhSasPZZON9M4v83BaQH/AMm9zwbxAoI+CR9oMJ0bE6d1S7iA8V2IU2qEbrt82qiikbhPXZVCdmvtE1DHDhFM5Ibp1ZjI=; Message-ID: <398504.86739.qm@web111515.mail.gq1.yahoo.com> X-YMail-OSG: YV9xgVkVM1l8q5ohiDEkowssHKWQGT_NrV3cSuQeU9bIE.o k4njTxTF79BRdcnV0g_LYLZJ7b1Hzpz7B7jis31MlPoJxiSJErWz7LAwqQPP sRNnHRFxft2336im8SfjO8n9EZMNvQp5A1z9_aYfwvpGJ4GXWLDv5h.ayROE 9dTFdAFW_b4bybzuqIEvVed0UdLw9r439AXn7E4l2xEA3sEbs4eg5hNPC21u .860MfVE3dukgVMwa2YaPNPwbsAYNLIAd3UpaTH5cRafHR3QC_QEvVNyGhQr EkLgsXRWDO7IgXrRss_Ya02dZjCJb6sq.AEji33kIND_o0LQz0ENaNys5Ho5 wTAGogbUOCXKjtumJ.N3MM5Td.3uJITGRMkQv2zUPdxwVYRqEE3KjE96z5Hg PAD3LXztVsBNvLNLAEed6iwD2jFcyEsG0T.rr7u5AIbbsKLDpNLLXuc5ymr7 xqcjIxBJ7VEqTxHQVH8WJv4M- Received: from [213.205.70.204] by web111515.mail.gq1.yahoo.com via HTTP; Fri, 06 May 2011 07:34:15 PDT X-Mailer: YahooMailClassic/12.0.2 YahooMailWebService/0.8.111.303096 Date: Fri, 6 May 2011 07:34:15 -0700 (PDT) From: Dario Teixeira To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p46EZd38013774 Subject: [Caml-list] Telling Ocamlbuild to link seemingly unreferenced modules Hi, I have a couple of plugin modules (say, "Foo.ml" and "Bar.ml") which become known to the main programme solely because they register themselves upon initialisation. However, because there is no implicit dependency between the main programme and these plugins, when compiling with Ocamlbuild they are not linked in. So what's the cleanest way of telling Ocamlbuild that these plugins should also be compiled and linked together with the main programme? Thanks in advance! Dario