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 9812380142 for ; Fri, 19 May 2017 16:43:54 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-f182.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f182.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AdOw5oh1e+v20a1hHsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIeL/ad9pjvdHbS+e9qxAeQG96KtbQZ1KKW6/mmAj1fp87Z8TgrS99laVwssY?= =?us-ascii?q?Yso0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?buv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/fu8QSgIZuMKY8xxnUqXdMZ+?= =?us-ascii?q?ha2HlkKFyXkhv+/Mu84IJv/yFNsP896sBMVrn3cKs/QbFEFjoqNHw76tP2vhfZ?= =?us-ascii?q?VwuP4XUcUmQSkhVWBgXO8Q/3UJTsvCbkr+RxwCaVM9H4QrAyQjSi8rxkSAT0hy?= =?us-ascii?q?cdNj4263/Yh8pth69Guh2hphh/w4nJYIGJMfd1Y63Qcc8GSWdHQ81cTDJKDJ+i?= =?us-ascii?q?YIQTDuoBJedYoJf7p1sSthu1GA2gCPryxjNUmnP62Ks32PkjHw7bxgwtB9ABsH?= =?us-ascii?q?rUotv7N6kcTP67w7XHwzjYc/NWwC3w5JTUfhw9o/yBW697f8rLyUkoEgPIllSe?= =?us-ascii?q?ppb+MDOP1+QCrWyb5Pd9W+2zi24otRtxrSa1xswxjYTJiZgaxUve9SV43ok1Ic?= =?us-ascii?q?e0SFVnbt6kDpRQrT+VN5FtT8MtRmFnoic6yrkctZGneygKzY0qyhjCYPKJdIiI?= =?us-ascii?q?5wjsVOeXITpgg3JqZKiwhxO28Ue8ze38TNe73ExNripfndnBsG0G2R/L6sWfVP?= =?us-ascii?q?dx4kOs1SyM2g3T8O1IP144mKTBJ5I8wbM8iJweulnZECDsgkX5lqqWe10k+ue2?= =?us-ascii?q?7+TnZa3rppqGOI91jgHyK6UumsujDeghPAgCQmuW9fqm2L3s+k35R7pKjvkona?= =?us-ascii?q?XDrJ/aIsEbqra4Aw9TzIkj9w6yAym63Nkch3UKL1JIdAiZg4T3NVzCOu30APSh?= =?us-ascii?q?j1i0lTdk3fHGPrnvApXXKXjDla/sfbln5EFH0gozzM5Q55ZOBrEaPP3zWlH+tM?= =?us-ascii?q?bGAR8jKAG0zOPnB8981oMaQ26AHqiZMKbKvV+S+u0vO/WMZJMSuDvlN/cq/fvu?= =?us-ascii?q?jXsglV8ZfKmpxocXZWujHvVmJkWZeWDjjs0AEWcMpAo+TfblhEeMUT5JND6OWP?= =?us-ascii?q?cb4jg1QKKrF4bFScj5h7iI0g+yE4VYYm0ABl3aQlnycIDRdP4GciOfJodamTwJ?= =?us-ascii?q?T7W7A9su3Bu0tQL+jaFsLufO9zcwupfq1dwz7OrWw0JhvQdoBtiQhjneB1p/mX?= =?us-ascii?q?kFEnpvhPhy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0APAgAdBB9ZhrbfVdFcHQEFAQsBGAEFA?= =?us-ascii?q?QsBg00/gQwHg2ecB4kWjm8uhXYChXEHQxQBAQEBAQEBAQEBARIBAQEICwsIKC9?= =?us-ascii?q?CEIFhJAGCQQECAyMdARsdAQMMBgULDQICJgICIgERAQUBHAYTigsBAxUOo18/j?= =?us-ascii?q?AeCBAUBHIMKBYNcChknDVaDBAEBAQcBAQEBHAIGEnmFVIR5h3WCYAWeFYIQhQ2?= =?us-ascii?q?Lf4JZjxWSfhQfgRU2gSsvICFbGYRPH4FxPjYBAYNyhSgBAQE?= X-IPAS-Result: =?us-ascii?q?A0APAgAdBB9ZhrbfVdFcHQEFAQsBGAEFAQsBg00/gQwHg2e?= =?us-ascii?q?cB4kWjm8uhXYChXEHQxQBAQEBAQEBAQEBARIBAQEICwsIKC9CEIFhJAGCQQECA?= =?us-ascii?q?yMdARsdAQMMBgULDQICJgICIgERAQUBHAYTigsBAxUOo18/jAeCBAUBHIMKBYN?= =?us-ascii?q?cChknDVaDBAEBAQcBAQEBHAIGEnmFVIR5h3WCYAWeFYIQhQ2Lf4JZjxWSfhQfg?= =?us-ascii?q?RU2gSsvICFbGYRPH4FxPjYBAYNyhSgBAQE?= X-IronPort-AV: E=Sophos;i="5.38,364,1491256800"; d="scan'208";a="273866415" Received: from mail-io0-f182.google.com ([209.85.223.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 May 2017 16:43:53 +0200 Received: by mail-io0-f182.google.com with SMTP id o12so48706909iod.3 for ; Fri, 19 May 2017 07:43:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=ronNSWu3lLlGF/RQm5KT16DJ95V4Dc+1maRVfMdACgU=; b=mIVYrykMlDZYD4qVXVvx3qri39mVJ5/LYgfuDsOrSQx/ZneimrmdWet9J8WZVg9+zm iRmIke+0Spq56KPNdd3Z+yIiZRI0X2ngJxcd7D1oH3lkkYXi3qB2aLdUzgT0+A62NNHF WNn4hkLeyI7a3+W1b+PuUmbKHADbBV1ywY6PF9QSfzFIQMlFUxd3EwwwgU/fM4CdTmeV ATBK++uysxhQSjX7w4aciUDcFYJgxdJ5CCoduSAe5wz5trhZdpIDYJP8/2o/kzHsea4u CPzLz9j2qbx4gqVGYovBNM/gTs+85j+ZL9N0mWcw10srZ4JTljwVjeDasqCa5sxmHgXE oSnw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=ronNSWu3lLlGF/RQm5KT16DJ95V4Dc+1maRVfMdACgU=; b=l2R9zEoEbGXEWSuIr5eP84z/yaLbvq7T6yjEDf1QZFkFOot+azL6Pwb/3d1KR+ogdK J39r7oWaQyCvXRZFF0ybZjQbKNOeiaKUw8tyzL3obVGyzRhaBIZ0r+lxCQtDCrvAqkmS I8zi6hgqCb2vfavNlWC4uwqmJHoOFMPLqYHRjmOQMH2T0d2YQvB9XbHPZntiRhMtjLPz SREMU/BzkRbKXfrDpc+q/FiEBz+erOFVWkCkJfQsFH2ybYtsi+k94xKb5DhzrX08g1H4 YDW5+b/d7qOo1YIMqoYqNlO8g/A+HiWDmjBczm24GvJ7n1BNXcQjj/KMV9l0sv0JP8rA Gv2w== X-Gm-Message-State: AODbwcBumz0ryBHgzXOn4F3385MY0Uzca8w6ubTRvjEamZG5k5Y3Dqqv vCN8SAtXTQVVtlb4/xViZtmPLBrHH4/9 X-Received: by 10.107.170.16 with SMTP id t16mr10009773ioe.113.1495205032429; Fri, 19 May 2017 07:43:52 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.39.196 with HTTP; Fri, 19 May 2017 07:43:11 -0700 (PDT) In-Reply-To: <20170519063227.GA24482@aepfle.de> References: <20170519063227.GA24482@aepfle.de> From: Gabriel Scherer Date: Fri, 19 May 2017 16:43:11 +0200 Message-ID: To: Olaf Hering Cc: caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] How to provide additional options for cppo in oasis? The look like ocamlbuild flags that you can pass explicitly in your _tags file (outside the oasis-controlled zone), or through oasis using the XOCamlbuildExtraArgs field (you may also need to use XOCamlbuildPluginTags to enable the cppo plugin): http://oasis.forge.ocamlcore.org/MANUAL.html#plugin-ocamlbuild-doc-build I would expect something like XOCamlbuildPluginTags: package(cppo_ocamlbuild) XOCamlbuildExtraArgs: -tag 'cppo_D(FOO)' On Fri, May 19, 2017 at 8:32 AM, Olaf Hering wrote: > How can an _oasis file pass additional options to cppo? > The documentation of cppo says in its Ocamlbuild section: > > "The following tags are available: cppo_D(X) =E2=89=A1 '-D X'" > > Where are such tags supposed to be? > For extlib I just created a wrapper as a workaround, which calls cppo > with the required options. > > Olaf