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 1138D80138 for ; Fri, 19 May 2017 08:32:30 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=olaf@aepfle.de; spf=None smtp.mailfrom=olaf@aepfle.de; spf=None smtp.helo=postmaster@mo4-p00-ob.smtp.rzone.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of olaf@aepfle.de) identity=pra; client-ip=81.169.146.160; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="olaf@aepfle.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of olaf@aepfle.de) identity=mailfrom; client-ip=81.169.146.160; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="olaf@aepfle.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mo4-p00-ob.smtp.rzone.de) identity=helo; client-ip=81.169.146.160; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="postmaster@mo4-p00-ob.smtp.rzone.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A2Q9gLxXSQ19S0uEmSpQp31iW7z/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxGEt8tkgFKBZ4jH8fUM07OQ6PG+HzFfqdbZ6TZZIcMKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9SnfHZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f/2O+94YDcbBtVjzShf7xyMA+2rQLMvcUKnIduMKg8xx/Ir3dSe+?= =?us-ascii?q?lbx35jKVaPkxrh/Mu98ppu/iZKt/4968JMVLjxcrglQ7BfEDkpPGc56dHxuxXE?= =?us-ascii?q?UQWB+GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjus86lkSBnziC?= =?us-ascii?q?caLDE5633YitZxjK1Avh2soQF0zpPOb4GUMPp+eb7dfc8fSGFcUMtdSzBND4Wh?= =?us-ascii?q?ZIYJEuEPP/tXr5PlqlUArRWwGxSiCuDgxTBUm3D507Y30+s9HQzcxgEsA8gDvX?= =?us-ascii?q?bSod7oNKkSS+e1zKzQwDvaa/NZwzn945XKfB8/u/GMXLRwccXMwkQoEAPFik+f?= =?us-ascii?q?qYL+MjyPyOsNq2ab7+5+Wu61lmEotRh8rz6yzckvkonEnoEYxk3e+SlkwYs4Ic?= =?us-ascii?q?e0RFN0bNOlCpdcqiCXO5duTs4hQGxkojg2xqAEtJKhYSQHy4krywTBZ/Cbc4WF?= =?us-ascii?q?5A/oWvyLLjdinn1lfaqyhxas/kikze3xTsy00FFFoyZcitnAqmwB2wXU6secUP?= =?us-ascii?q?d95UKh2SqX1wzJ8OFFIEc0lazFJJI737E/iIIfsUXFHiDohEX7lKybelg+9uS1?= =?us-ascii?q?6unqZq/qqoKTOoJ1kA3yL6UjltCnDeQ9KAcOXmyb+eqm1L3k+E30WLJKjvksna?= =?us-ascii?q?nXq53VP9oUpra3Aw9RzIkv8QuwACm+3NQCgXYHNE5FeA6Aj4XxJ17BOvX4DfOm?= =?us-ascii?q?j1SokTdr3OzGM6b6ApTNK3jDiK3ucax8605a0gozzMpQ64haCrEbc7rPXRr6vd?= =?us-ascii?q?ncSxs4KBCcwuD9Cdw72JlNd3iIB/q+NKrc+X+F/OMpLKHYY4scth70JuAr4/Oo?= =?us-ascii?q?gXJvygxVRrWgwZZCMCPwJf9hOUjMOXc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CXAAA/kB5ZhqCSqVFcHgYMGQYMhRiDb?= =?us-ascii?q?osLpnGCDweGGAOFdj8YAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigm0dAQE4OyE?= =?us-ascii?q?CEQUYimuuAWqCJoMJAQEFiC8HCCCQZ4JGL4Ixnhh5YpE0DWyBAAGJBwuGb5RGH?= =?us-ascii?q?4FCLyAIGhSFLh+BcXSIMgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CXAAA/kB5ZhqCSqVFcHgYMGQYMhRiDbosLpnGCDweGGAO?= =?us-ascii?q?Fdj8YAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigm0dAQE4OyECEQUYimuuAWqCJ?= =?us-ascii?q?oMJAQEFiC8HCCCQZ4JGL4Ixnhh5YpE0DWyBAAGJBwuGb5RGH4FCLyAIGhSFLh+?= =?us-ascii?q?BcXSIMgEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,362,1491256800"; d="asc'?scan'208";a="224165299" Received: from mo4-p00-ob.smtp.rzone.de ([81.169.146.160]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 May 2017 08:32:28 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1495175547; l=780; s=domk; d=aepfle.de; h=Content-Disposition:Content-Type:MIME-Version:Subject:To:From:Date; bh=VCmB1G+DPxf62gNU2F+sxkJ0M+MNIaq7dzy5J/ExDbk=; b=syuUCS2XoVGTVqDz5vF+A4izi7CqyXnZgrekW0tGni1syxSwQZahWjB18A09LwCfHi itFelR/tYMv5xK3rbNNLCIItwA/q4YKy2HQHj+jJoR4nZobPIOu3T9aTTzwBqLtnyjm8 8U8hEVsAikv7YDxH3VmndY3GBvUXMagZYAll8= X-RZG-AUTH: :P2EQZWCpfu+qG7CngxMFH1J+yackYocTD1iAi8x+OWJwKkzf/6nV15iI/KkMqA== X-RZG-CLASS-ID: mo00 Received: from probook (aftr-88-217-181-205.dynamic.mnet-online.de [88.217.181.205]) by smtp.strato.de (RZmta 40.7 DYNA|AUTH) with ESMTPSA id q05fd5t4J6WRQyH (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (curve secp521r1 with 521 ECDH bits, eq. 15360 bits RSA)) (Client did not present a certificate) for ; Fri, 19 May 2017 08:32:27 +0200 (CEST) Received: by probook (Postfix, from userid 1000) id 39A9650BD5; Fri, 19 May 2017 08:32:27 +0200 (CEST) Date: Fri, 19 May 2017 08:32:27 +0200 From: Olaf Hering To: caml-list@inria.fr Message-ID: <20170519063227.GA24482@aepfle.de> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="J2SCkAp4GZ/dPZZf" Content-Disposition: inline User-Agent: Mutt/1.8.2 (7046) Subject: [Caml-list] How to provide additional options for cppo in oasis? --J2SCkAp4GZ/dPZZf Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable 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 --J2SCkAp4GZ/dPZZf Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iF0EARECAB0WIQSkRyP6Rn//f03pRUBdQqD6ppg2fgUCWR6RdwAKCRBdQqD6ppg2 fu13AKCsVnq+XK6dUyPsIAYz6DwIYh1PbACfQb9g33DlWHC5L+28KmpYtmJRsbM= =GRLo -----END PGP SIGNATURE----- --J2SCkAp4GZ/dPZZf--