From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <helmut.brandl@gmx.net>
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 7D9D67FD2F
	for <caml-list@sympa.inria.fr>; Wed,  1 Mar 2017 04:30:53 +0100 (CET)
Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  helmut.brandl@gmx.net) identity=pra; client-ip=212.227.17.20;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="helmut.brandl@gmx.net";
  x-sender="helmut.brandl@gmx.net";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  helmut.brandl@gmx.net designates 212.227.17.20 as permitted
  sender) identity=mailfrom; client-ip=212.227.17.20;
  receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mout.gmx.net) identity=helo;
  client-ip=212.227.17.20;
  receiver=mail2-smtp-roc.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=3AthshgRSZy7TIUK9WB8+KP4Sbsdpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa67YxCN2/xhgRfzUJnB7Loc0qyN4v2mAz1Lv8rJ8ChbNscTB1ld0Y?=
 =?us-ascii?q?RetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?=
 =?us-ascii?q?Ora9QdaK3Izkn9y1rpbaZgENgDumfZtzKg+3pEPfrJo4m4xnf4Y8zh7UvjNiYe?=
 =?us-ascii?q?1QyWcgcVKemxPh+oG65pdl/yB4tPcxschNTfOpLOwDUbVEAWF+YCgO78rxuEyb?=
 =?us-ascii?q?QA=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CEBwCYP7ZYhhQR49ReHgYMGQYMhAmEY?=
 =?us-ascii?q?ZtMl2GIUkQTAQEBAQEBAQEBAQESAQEBCAsLCh0vgjMggkeBCwImAmmJZgEaAqF?=
 =?us-ascii?q?fhAKMA4ImhnABhEABAQEkgQuFQYIFCIgCgjougjEFkFSLU4FRMZIRAYhnhk+PA?=
 =?us-ascii?q?YQxN4EhIRQqSBEBgiyBTVWCDIpGAQEB?=
X-IPAS-Result: =?us-ascii?q?A0CEBwCYP7ZYhhQR49ReHgYMGQYMhAmEYZtMl2GIUkQTAQE?=
 =?us-ascii?q?BAQEBAQEBAQESAQEBCAsLCh0vgjMggkeBCwImAmmJZgEaAqFfhAKMA4ImhnABh?=
 =?us-ascii?q?EABAQEkgQuFQYIFCIgCgjougjEFkFSLU4FRMZIRAYhnhk+PAYQxN4EhIRQqSBE?=
 =?us-ascii?q?BgiyBTVWCDIpGAQEB?=
X-IronPort-AV: E=Sophos;i="5.35,223,1484002800"; 
   d="scan'208";a="262537335"
Received: from mout.gmx.net ([212.227.17.20])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 01 Mar 2017 04:30:12 +0100
Received: from [192.168.1.67] ([187.207.24.71]) by mail.gmx.com (mrgmx101
 [212.227.17.168]) with ESMTPSA (Nemesis) id 0LgdBZ-1bvtJO34Rp-00nxZt; Wed, 01
 Mar 2017 04:30:12 +0100
From: Helmut Brandl <helmut.brandl@gmx.net>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\))
Date: Tue, 28 Feb 2017 21:30:08 -0600
Message-Id: <7C984183-3E3A-4698-8597-342888F7E53B@gmx.net>
To: caml-list@inria.fr
X-Mailer: Apple Mail (2.3259)
X-Provags-ID: V03:K0:p35FmvFBEIh8E7mAsM8ovKazTZYjCVDYstEjhCVjOkHiazTnqYS
 nIck17ClSQrh+7EAlxgBjfLGNQhnHMpsjJbUGN5RR10JvkJE/u+S9bzzlEJ/m0cjxp8qLvn
 39tcaTdyBUD2QGay+V4pFjY5bDQaUBz5B9ldwwxjii08ZGbxny0Wkq/JFx/IbLuZIpx4G/l
 bsdsgGWmUB0ylQJ8XV7tQ==
X-UI-Out-Filterresults: notjunk:1;V01:K0:+p58tjsEoF4=:Sauw/BslkapOiTZT1StiWh
 zey+DYvA+yk7gdwAs+v3LcbbMaIbZBSICSJ+cu4Y/anTS2PluFS6/b7/LSO04UytxQzU7f98T
 7suh+z6l2KgJEhut3M+ernx+Gcn2T/gSiZgmu8vufDE0sQ+p9Y/fogPLaT/XCGsq2IIBgxEcG
 uPPiDv4G3vfkYVUeqxjYESAj98rHBKnEeVYqidR2FreDF8omY6GQUYhuxCh7cygwRyWthuxZV
 wnCBvrmuzvQSs/aCjZDskO+Tkgyc6bVpLxFJx6SOFzXAa7pEQSwfFwadcIX77EyFAEIqlUvJf
 6DqcwRwo64n8MNwapswSKXe7GSx3TYt6BVOFSfMXORzOmlydS221ymfX3pK0dgT/9E5uWTyw/
 kuHzjXyupbx+9j5UcJER4wN/3j9kTXfAL6B2KrUTxt5SIUy50Nhi8YnJedIFkhMV4HAS+WCCr
 h230BiMfDc0s8AnHrSCTsx71s+PiokbabWq2Ji6oFl6z4FzpZnzWgWEXVpc8mhve95ywxJ+NF
 SNcesC6B8gD3sZ4O8uszgb3jtnXV7iMHQAK18y/pGyXO91285cSlAKKpCMBwfXDMXDK9Ht9nG
 cPwXPSM38CmJPkFhAlPyjtKoB25eQZ8Q4Q3hH55CeB9MANfvmNXbu6M7nVQaLa7xH7mmwt/34
 8736KvZ4O5meRSfW4/DV436SSusJwi0MsYQAedh3FqDbjkALvzDWCFWNfZv4Ov+Sdl/2e8qmr
 bNrc9iDOvh8U9B0eRZgMDpcxIoMoxzgzymO5YJgh1Qw6vwVzOEeyE4BAiWO8b6b/R9Ej3hvfa
 7aTB3ns
Subject: [Caml-list] Menhir incremental api with ocamlbuild

Hello list,

does anybody know how to build a project with ocamlbuild and use the increm=
ental api of menhir. By using menhir directly I would use the =E2=80=98-tab=
le=E2=80=99 flag. But I don=E2=80=99t know how to transfer this flag to men=
hir by using ocamlbuild.

Kind regards
Helmut=