From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 238EBBC57 for ; Sat, 10 Jul 2010 01:47:21 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnMCAJtRN0zRVaE2kGdsb2JhbACDHpBsjDgIFQEBAQEJCQwHEQMfrGKCR4VIiQEBAQMFgSSDDHIEiEmHNg X-IronPort-AV: E=Sophos;i="4.55,176,1278280800"; d="scan'208";a="66123122" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Jul 2010 01:47:21 +0200 Received: by fxm13 with SMTP id 13so1771899fxm.27 for ; Fri, 09 Jul 2010 16:47:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=TquOF3CKxwcydWHDf6XT4PtabEKlvQUcQSFvdySiZ2U=; b=HNKqbopmjeJFh8ADU6EfDbOxdc42/oUvQ2HQJg9uD6oXQ4lTctm2tXe0t5OdHwGVIp HqyYdCoFjOx7HK2I3Vs+scmyaGiuYD2CngyjS8EQ1Jl9kzAXUjzwrrt2xQla7FwiqTh/ yQDfwZGM2MUfRkNus2JIZGqIGrB/cT1IS7zN0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=ZKutun98YBhXRrz1huoWiBS4ohlMkhjcCjALg5J70O65q8DEcvN2BAKq5vOszlfPEQ 0BQtW0RRjYdLuEiQocgfudmOgEtfiqiWuzn3/9XghP3RBYwWOa5ZAjBOOi+b311K0IxF UElZZR1Y/EHVmBObEGed90G7LLIypxNTvk4Sg= MIME-Version: 1.0 Received: by 10.223.117.9 with SMTP id o9mr8973012faq.54.1278719240687; Fri, 09 Jul 2010 16:47:20 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.223.109.198 with HTTP; Fri, 9 Jul 2010 16:47:20 -0700 (PDT) Date: Sat, 10 Jul 2010 01:47:20 +0200 X-Google-Sender-Auth: WlItUAKWIfDe0XJkTHGpcPEbLJY Message-ID: Subject: ocamlbuild adding directories arguments to a tool with tags From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; buenzli:01 daniel:04 daniel:04 specify:06 arguments:07 example:10 invoked:14 invoked:14 adding:15 hello:17 would:18 there:18 plugin:18 include:19 tool:20 Hello, I would like to be able to specify : mytool:include So that when mytool is invoked it is invoked for example with mytool -dir d is there any easy way to achieve that with a plugin ? Best, Daniel