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 3E82880208 for ; Sat, 9 Sep 2017 04:02:59 +0200 (CEST) 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.15.19; 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.15.19 as permitted sender) identity=mailfrom; client-ip=212.227.15.19; 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.15.19; 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=3AJyNevhdp2ZYyEIRlA58r0y5HlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc29Zh7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpW1aJhKqPgNw?= =?us-ascii?q?IqzoAYPIlIzj3Om3/9jXYh5UrDu7e7J7ahus+1b/rM4T1KtvLqMs1lPjuHJOd+?= =?us-ascii?q?AekWNlIVeOg1D2/M628JpL/CFA/fQs65gTAu3BY60kQOkAX3wdOGcv6ZizuA?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BUBgCRSrNZhxMP49RdHAEBBAEBCgEBG?= =?us-ascii?q?AEFAQsBhBZrhB6aRJgqggQKiUtDFAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJ?= =?us-ascii?q?tgQsCJgJfiisBGgKbKoQFjAuCJ4ZtAYReAQEBASOBDYIdggKBUIIOgk6EbYNLM?= =?us-ascii?q?IISHwWRKIEPjj2BbUGUHolZhx2RdYM2gTk2gS4yIS9UEgGCcoIjghGJMwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BUBgCRSrNZhxMP49RdHAEBBAEBCgEBGAEFAQsBhBZrhB6?= =?us-ascii?q?aRJgqggQKiUtDFAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJtgQsCJgJfiisBG?= =?us-ascii?q?gKbKoQFjAuCJ4ZtAYReAQEBASOBDYIdggKBUIIOgk6EbYNLMIISHwWRKIEPjj2?= =?us-ascii?q?BbUGUHolZhx2RdYM2gTk2gS4yIS9UEgGCcoIjghGJMwEBAQ?= X-IronPort-AV: E=Sophos;i="5.42,364,1500933600"; d="scan'208";a="236847234" Received: from mout.gmx.net ([212.227.15.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 09 Sep 2017 04:02:58 +0200 Received: from [192.168.1.69] ([201.114.253.60]) by mail.gmx.com (mrgmx001 [212.227.17.190]) with ESMTPSA (Nemesis) id 0Lug4m-1dQClV1bcW-00zrj0; Sat, 09 Sep 2017 04:02:57 +0200 From: Helmut Brandl Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Fri, 8 Sep 2017 21:02:53 -0500 Message-Id: <6543AF55-7E89-462E-8AF9-DFF3091C1599@gmx.net> To: caml users X-Mailer: Apple Mail (2.3273) X-Provags-ID: V03:K0:7+mqpU/S4bKZLCoBHMu1RmYCyznxEzt5xqEBa0/8Lon2RE/t3k3 q+iWWKDfm/P3f7xtQTBPhZ3CWQf2cMPW5+aH7AWMXq0GOxvOA1qzbx1RhYpn3G8JhEmLjBq raQoMoPpiyJm3p5ExuXMhqRkgpiJqIkW1VLe19wrU16/ABI+cN9FxPtMwCwRuB0z17V0AbA EYr5igTuz68jRijDtxRXg== X-UI-Out-Filterresults: notjunk:1;V01:K0:WPoSHf3GmmQ=:wvPcy+Mn8J+eoRpDNKg4zq 1HJ4G6X9SnJdSytzSrIjf/CS9tqF1e/WWbiehe9H1u4r6LJBtsHm/pHAxg4JlLt1GZxtMZPzq /akP+pgFMyFIDOS0mU8H7rZYIinc/OR7d0SdDs18gZujNa0GTamHLrHTiaugOOGvKTlIdIDEJ ZSUTF7e0PWNwTAQ1Zelsw25LBPpvS30sw9cBUb1+nnHQpqgyMGm7CCm0qhkECWfQMCf8CdPFO /THzk3ND9aQ2qQv9h15XA0zZq4a1+HjuCr1E/a+U2n2k1lxidHMTCpYWEAHWW/reQqG+6hhGr INeIl5As6DmcF2L5E2j/tZBmUEwBPkXo+/V1p16Mo7wjQihCVPzuhHJnN1ba6/WaWwHo6K3Mi /AZiAhvpHT6mXwo7gimz8+z9qQYRYXl2IapzFVY3VO8gjaApBQM383AgP8xm+HHHGnwntAC4q AJwKwwgi8cYC+UB8UbGSoJzqKMdxcQaia1E/fjBanL4ZKCXYAuhQjVjcKBGqiunpskUFymE8Y FjL+sDpc4Cbs5Ogoy6Q6l9J0ZVHoeov7Gg4Ou0SJINHqnoZfUV0pvDvYejo4hzHTf1bMnlOQ7 BRnziMQF6wqiYHeq2Os8OWBQMWIWEa7DtMwZ67VKgmi8XuSmjYx9bTKCdZEh7cAl13/wtZZp8 iYOGFXnGchgvocwRJ7hiq55OUTJS44m11SYvi0CKRzSZDUXD2cW8oAgalSfJ9utBCybBTQ1vE n8q7JVzj1/dSx05PcNbwc13iqz+nIVv61lgu14G4A0uYYSZgURGrsSKhreJ5+nHZwZEURmeLQ uc6OJMYuTZV8/UvkTrVDCOtDUQI9JZgMpLLIZn1A1o4+vTpr+c= Subject: [Caml-list] How to generate source files with ocamlbuild Dear list, I have a project which uses ocamlbuild to compile the program. I use the me= nhir parser generator. With menhir there are no problems since ocambuild = =E2=80=98knows=E2=80=99 that files with the name =E2=80=98*.mly=E2=80=99 ar= e parser files and it generates the sources in the sudirectory =E2=80=98_bu= ild=E2=80=99 before calling the compiler. Now I want to use coq to verify the critical part of my project and generat= e ocaml source files with coq. Is there a simple way to tell ocamlbuild tha= t it has to use coq and some =E2=80=98*.v=E2=80=99 files to generate ocaml = source files before calling the compiler? Kind regards Helmut=