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 C01287FA32 for ; Wed, 1 Mar 2017 14:50:02 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of helmut.brandl@gmx.net) identity=pra; client-ip=212.227.17.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of helmut.brandl@gmx.net designates 212.227.17.21 as permitted sender) identity=mailfrom; client-ip=212.227.17.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="helmut.brandl@gmx.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.gmx.net) identity=helo; client-ip=212.227.17.21; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="helmut.brandl@gmx.net"; x-sender="postmaster@mout.gmx.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ADCnQ4hUtP/mhwApSY8D8ZitEw/bV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRCAt8tkgFKBZ4jH8fUM07OQ6PG9HzdYqsvf+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe71/IRG2oAnLuMQanYRuJ6YwxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipGDY2h?= =?us-ascii?q?cosPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvX?= =?us-ascii?q?vIo9r7KaccXuK7wqfHzjvDYe1Y1zDm5YjUaxAhpO2AXbJsfcfTz0QkCgPLjk+X?= =?us-ascii?q?qYzgJz6b1PoCs2ye7+p9SeKklnMqqxtrrTip28gsjpTCi4UVyl/a8SV5xZs1Jc?= =?us-ascii?q?GiREFge96rCp1QuDyeN4ZtTcMiRm5ptDw8yrIYpZ62ZS4Hw4kpyR7YbvyIaYmI?= =?us-ascii?q?4hT7WeaQJzd4nnNld6ilixa860is0u39WdO00FZNqSpJiMXDtncI1xHV98OJSe?= =?us-ascii?q?N981+/1TqSyQzf8P9ILV42mKbBNpIswKQ8moQOvUjbAyP7m0f7gLWIekk4+OWk?= =?us-ascii?q?8frrb7r8qpKeKoN5jBz1PL40lcylG+s4NxADX2iF9uS4073u5Uj5QLJXjv0qiK?= =?us-ascii?q?XZv5XaJMsBqq6/HQBVzp4v6xe5Dzi4zNQVhWcLIE9bdB6dkYTlJVPDLOrlAfq9?= =?us-ascii?q?mVigjipny+jDPrL7A5XNKnbDkK3mfbZ480NcyBQ8zdRa55JJFrENOun8WlXru9?= =?us-ascii?q?zeExA5Nxe5w+niCNRyzI8eX3yAArOBPKPIrVCI/v4vI/WLZIINpDnyMf0l5/r3?= =?us-ascii?q?gX89mF8dZrWp0IAMaHG4G/RmO1+WbWDtgtcHC2cKvxAxQPbkiF2YSTRTfWq9X7?= =?us-ascii?q?og5jEnD4KrFYnDRpiqgLydwCe7H4NZZnpdB1GNEHfocp6LW+0WZy6II89hlCYE?= =?us-ascii?q?Vbm7RIM72xGurlyy970yAPDd/KIftInU7N9p++zej1lm+yZ9Cc+a0nrLV2Zogm?= =?us-ascii?q?IFXRc32rp+qApz0AHQ/7J/hql4GNhW+u8BeB0zM5LYh7h6BtT3Rx6HdM2ATlqi?= =?us-ascii?q?atqjEXc3Q85nkIxGWFp0B9j31kOL5CGtGbJA0uHSCQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DMAwCk0LZYhxUR49ReFgUBAQEDAQEBC?= =?us-ascii?q?QEBARYBAQEDAQEBCQEBAYQGA4EGAYNam26COpUIKoV4AoI2QxQBAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEIDQkKHS+CMyKCGwEBAQMBI0sLBQsLGAICCR0CAkUSBhMSCYlFAQMNC?= =?us-ascii?q?gIKpUqMA4Imhm0BSgODaAEBAQEBAQEDAQEBAQEBAQEBAQEdgQuFQYIFgmqEVIM?= =?us-ascii?q?GLoIxBYc9DIkLi1SCAoRzjSBrh3+GUY8EhDE2gSIhFCpIEQGCLIIiggxWiXIBA?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0DMAwCk0LZYhxUR49ReFgUBAQEDAQEBCQEBARYBAQEDAQE?= =?us-ascii?q?BCQEBAYQGA4EGAYNam26COpUIKoV4AoI2QxQBAQEBAQEBAQEBARIBAQEIDQkKH?= =?us-ascii?q?S+CMyKCGwEBAQMBI0sLBQsLGAICCR0CAkUSBhMSCYlFAQMNCgIKpUqMA4Imhm0?= =?us-ascii?q?BSgODaAEBAQEBAQEDAQEBAQEBAQEBAQEdgQuFQYIFgmqEVIMGLoIxBYc9DIkLi?= =?us-ascii?q?1SCAoRzjSBrh3+GUY8EhDE2gSIhFCpIEQGCLIIiggxWiXIBAQE?= X-IronPort-AV: E=Sophos;i="5.35,225,1484002800"; d="scan'208";a="215172255" Received: from mout.gmx.net ([212.227.17.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 01 Mar 2017 14:50:01 +0100 Received: from [192.168.1.67] ([187.207.24.71]) by mail.gmx.com (mrgmx102 [212.227.17.168]) with ESMTPSA (Nemesis) id 0MZwYd-1d1RXL19Pb-00Lj39; Wed, 01 Mar 2017 14:50:00 +0100 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\)) From: Helmut Brandl In-Reply-To: <58B67070.4030702@inria.fr> Date: Wed, 1 Mar 2017 07:49:56 -0600 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: <7229412F-AF18-40F1-BBD8-CFF8050B811B@gmx.net> References: <7C984183-3E3A-4698-8597-342888F7E53B@gmx.net> <58B67070.4030702@inria.fr> To: =?utf-8?Q?Fran=C3=A7ois_Pottier?= X-Mailer: Apple Mail (2.3259) X-Provags-ID: V03:K0:dq2jmPr3hg9wtAqZY/Gki340NsV+qPZXLBwOVerzenLf0Nxmy/6 lIsEDj2obPNYWHm03CiRvrF9Qe2GzlA8ojeteT7sGN/TbMlx8GI1LIcFUuQfSoLAV3we/hR 30r5e6Kd5zYbqQkcM1d1gDOAd61zo1RTAYGSCZt0YoGv+AY94XGOqlhdLAHH9etTtqWGX/F uJa5QB1nghNkYn7i/7jng== X-UI-Out-Filterresults: notjunk:1;V01:K0:/GhJ52PhTpc=:N/vQEgbcdjxXJ73JDo/APu PjMKQJ6zuv+2/5llnpJRsJl/7iRZzN5+VPoCk+FCrxLW1JGwqVL6yeXNx1yzQW4jvwvDhKHRs rYv2FgqiuF694mjucQ0qar145EWCyg4STahUtX1bUIBtQTsi+eVoah5I+mnIHNBLRl9LFzDLW l1fIDY1V/6V7vGPf87Lkf+Qwc2yd5aIrWybqKCAo/vXAPi5P6MqWmBLw0NGogJjiKVlcBFfKW dYkVkRkza4bTx1aLLP7YRxAqzzxnuter1DRys4QI+NeGEMPIQMoORucb6SnYJOn7fWP/kGZ6k g9Wu5F29ZiTWk7pvYcfSRWupTvUz/FZYFWj+u2UnOcsigI5u4gbVDaJkYond7OV096I++y7zz gGVeh77pq6Ri+wZy42Ew+6zDW4pWbENnXeKNyxY0mHXBF+iu+S4IVzoBfjOqQQsOtFYukDZKM xvtJW4wHiKHAcu+SLL/n9a+y4NVEi+tDBlpUm8AoZXdarC9uIYdk2LxIYMHBBIw4KENWnyCR9 81apWG8emb+LMWMtN2tfj1uH/OR49iQW4SgFpWY2TCO5tfYpRSUGs0NqCXH8HWAEbTfSC9Uc6 p7IecbaJNT6acmOLJsLcZglqQIyu1Itt1TilW9CxzxX33aDJ5LSG5bCRBBuj+woeCJcx3soQI 3fKOvdYNOlRXPGixQadUmw/AUIDjKiyVauatcF3+WcHtRuyfQ4HwW0zxc2T7k8XYxvST1i+VF owkNhzUjOpV2eX+QLa+79fXIcFqyJIPxvZuOSuYdtNQH/1sPx7Rl7t+1WD8GU05Kbdj2ioB4K 8pKErXO Subject: Re: [Caml-list] Menhir incremental api with ocamlbuild I have found another solution. The command ocamlbuild -yaccflag =E2=80=94table ... does the job. Thanks for the hints. > On Mar 1, 2017, at 00:55, Fran=C3=A7ois Pottier wrote: >=20 >=20 > Thanks Gabriel. >=20 > Another quick-and-dirty approach is to just use > ocamlbuild -use-menhir -menhir "menhir --table". >=20 > --=20 > Fran=C3=A7ois Pottier > francois.pottier@inria.fr > http://gallium.inria.fr/~fpottier/ >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs