From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id E3197BC6B for ; Sat, 28 Apr 2007 01:50:40 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.171]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3RNoeWu016139 for ; Sat, 28 Apr 2007 01:50:40 +0200 Received: by ug-out-1314.google.com with SMTP id k3so777937ugf for ; Fri, 27 Apr 2007 16:50:40 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:in-reply-to:references:content-type:message-id:content-transfer-encoding:from:subject:date:to:x-mailer; b=QDp41u93nzTRYP4Wto/J5h0VE2CKFMoiSko7M0sC4/52uqLvec4ZN4b2NRbBTVpNqJ2xC7BU/LKoYFKnIyPq6JOyCzydC/RyisjF1jjOaroyAETa/3a3txoLaTk8bwBkzovXheTYqbU8YP93/yX4fDnV8ydmOIc9Qp1cvvLWJog= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:in-reply-to:references:content-type:message-id:content-transfer-encoding:from:subject:date:to:x-mailer; b=PFYXEBk32Vrn+T4l2lvnwNPEedhTArl/wil70EoL66+r1A5x1xJx7dEX3eBfFsL2bEuz0Pgg+AQKs1KHY1Z2cC4Kn0U4BXRVf5SF3w7UtByvgv01WPgCH6744RxAs8gTpoGBFL0RrUTqF8inmWkBq0qM/Ei95ObGabEgN0ZJpz0= Received: by 10.67.115.9 with SMTP id s9mr3357593ugm.1177717840283; Fri, 27 Apr 2007 16:50:40 -0700 (PDT) Received: from ?192.168.1.34? ( [81.37.190.201]) by mx.google.com with ESMTP id z40sm6170403ugc.2007.04.27.16.50.39; Fri, 27 Apr 2007 16:50:39 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) In-Reply-To: <301C13B2-671A-40CE-AB6C-E92E0ED454E6@gmail.com> References: <301C13B2-671A-40CE-AB6C-E92E0ED454E6@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <78040751-B95B-4620-A995-A4AB74F5E997@gmail.com> Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: ocamlbuild, menhir and keeping tokens in a separate file Date: Sat, 28 Apr 2007 00:50:39 +0100 To: Caml List X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46328C50.000 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 46328C50.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; tokens:01 tokens:01 parser:01 parser:01 28,:98 2007,:98 wrote:01 dependency:01 undefined:01 mly:02 mly:02 depends:04 opt:05 specify:06 apr:06 I forgot to mention that easy_tokens.mly should always be used in the same command line as easy_parser.mly, even during the dependency run. I see this right now, which obviously doesn't work. menhir --raw-depend --ocamldep 'ocamldep.opt -modules' easy_parser.mly > easy_parser.mly.depends File "easy_parser.mly", line 453, characters 4-14: Error: DARK_GREEN is undefined. ^^^ is in easy_tokens.mly Thanks, Joel On Apr 28, 2007, at 12:38 AM, Joel Reymont wrote: > How can I specify with ocamlbuild that to build my easy_parser.mly > I need to include easy_tokens.mly on the menhir command line, as > well as give menhir --base easy_parser? > > The command I'm looking for is below: > > menhir --explain --infer --base easy_parser easy_tokens.mly > easy_parser.mly -- http://wagerlabs.com/