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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 6EDECBC69 for ; Fri, 30 Mar 2007 14:56:43 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2UCugHW025005 for ; Fri, 30 Mar 2007 14:56:43 +0200 Received: by ug-out-1314.google.com with SMTP id k3so875212ugf for ; Fri, 30 Mar 2007 05:56:42 -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=oK7bAwZbqFLNmHnPVgcP+IyOJSx5YI17eMUFixyrztPewurj7bODverMFUeUwAc97TVx2X/xBW35+88q05I+iJ2nCRrQ0/yidIG/pwabGpQiuu+1Amb+kLT8iVqGbZX+KGuLD2pVTcXHY/gF4rkXQzHayxWAX1M/Om6cdxFaJIw= 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=SRpLSVFGV7BhIIdJENHnSBJ+G5vgfkp3WW0/Ut++hRKArirsrXwNKGNtcBtKUKM7MNGT2+UUph8ibzS+Q1WW2ELgUTmeZJZz9AsjLYAyr1ngePF/wJ/JtUVp097pjH/W/2zJru6NnjpvsBrfe810niRuy+EJENWoVRxrklh4/04= Received: by 10.66.255.7 with SMTP id c7mr2215054ugi.1175259402745; Fri, 30 Mar 2007 05:56:42 -0700 (PDT) Received: from ?192.168.1.34? ( [88.7.143.102]) by mx.google.com with ESMTP id g30sm3220159ugd.2007.03.30.05.56.41; Fri, 30 Mar 2007 05:56:41 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) In-Reply-To: <9204E98C-8BD1-4B8C-BB72-26D02870AAB0@gmail.com> References: <9204E98C-8BD1-4B8C-BB72-26D02870AAB0@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: ocamlbuild support for Menhir Date: Fri, 30 Mar 2007 13:56:40 +0100 To: Caml List X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 460D090A.001 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 460D090A.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamllex:01 ocamlyacc:01 lexer:01 parser:01 ocamllex:01 ocamlyacc:01 mll:01 2007,:98 wrote:01 mly:02 extension:05 uses:06 standard:07 standard:07 file:08 Please disregard the question. This is described in the User's Guide: 3.21 ocamllex, ocamlyacc and menhir ocamlbuild knows how to run the standard lexer and parser generator tools ocamllex and ocamlyacc when your files have the standard .mll and .mly extensions. If you want to use menhir instead of ocamlyacc, you can either launch ocamlbuild with the -use-menhir option or add a true: use_menhir line to your _tags file. On Mar 30, 2007, at 1:17 PM, Joel Reymont wrote: > Is there support for Menhir in ocamlbuild? > > Menhir uses the same 'mly' extension as ocamlyacc so I figure I > need to replace the default rule. -- http://wagerlabs.com/