From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 1E6787ED7A for ; Thu, 20 Sep 2012 18:11:27 +0200 (CEST) Received-SPF: Neutral (mail4-smtp-sop.national.inria.fr: domain of benoit.montagu@m4x.org does not assert whether or not 158.130.68.12 is permitted sender) identity=pra; client-ip=158.130.68.12; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="benoit.montagu@m4x.org"; x-sender="benoit.montagu@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Neutral (mail4-smtp-sop.national.inria.fr: domain of benoit.montagu@m4x.org does not assert whether or not 158.130.68.12 is permitted sender) identity=mailfrom; client-ip=158.130.68.12; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="benoit.montagu@m4x.org"; x-sender="benoit.montagu@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@fox.seas.upenn.edu) identity=helo; client-ip=158.130.68.12; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="benoit.montagu@m4x.org"; x-sender="postmaster@fox.seas.upenn.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AusAAMc+W1CegkQMmWdsb2JhbABFvRgjAQEBAQEICwsHFCeCIQEFOEEQCyEWDwkDAgECAUUGDQEHAQGHf7owkV4Dm0SNRA X-IronPort-AV: E=Sophos;i="4.80,454,1344204000"; d="scan'208";a="156419090" Received: from fox.seas.upenn.edu ([158.130.68.12]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Sep 2012 18:11:25 +0200 Received: from [158.130.78.103] (SEASNet-78-03.seas.upenn.edu [158.130.78.103]) (authenticated bits=0) by fox.seas.upenn.edu (8.14.5/8.14.3) with ESMTP id q8KGBMwI009536 (version=TLSv1/SSLv3 cipher=DHE-RSA-CAMELLIA256-SHA bits=256 verify=NOT); Thu, 20 Sep 2012 12:11:22 -0400 Message-ID: <505B402A.9070407@m4x.org> Date: Thu, 20 Sep 2012 12:11:22 -0400 From: Benoit Montagu User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:15.0) Gecko/20120907 Thunderbird/15.0.1 MIME-Version: 1.0 To: Philippe Veber CC: Gabriel Scherer , caml users References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.7.7855,1.0.431,0.0.0000 definitions=2012-09-20_04:2012-09-20,2012-09-19,1970-01-01 signatures=0 X-PP-Spam-Details: rule=add_spam_details policy=default score=0 spamscore=0 ipscore=0 suspectscore=0 phishscore=0 bulkscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=6.0.2-1203120001 definitions=main-1209200172 Subject: Re: [Caml-list] Using menhir for a camlp4 quotation: a compilation issue The typical use case for mlypack is the following: you have several parser files (say, A.mly and B.mly) that menhir needs to combine (yes, menhir can do that), and you want menhir to create a parser C.ml/C.mli. To do so, you create C.mlypack, whose contents is: A B And then ocamlbuild should work. In your case, r_lang_parser.mlypack should contain Foo where Foo.mly is your menhir file. I don't know about how to pass extra arguments to menhir. -- Benoit