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 820D1BC69 for ; Fri, 30 Mar 2007 15:05:21 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.169]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2UD5KBe026916 for ; Fri, 30 Mar 2007 15:05:21 +0200 Received: by ug-out-1314.google.com with SMTP id k3so877705ugf for ; Fri, 30 Mar 2007 06:05:20 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=TALs69c0zV0kh2WAyZjeGbdAILwDWadJfRxusKxKtFCoDDW6RWZqfj2T6X6kHpGhjTEln8OlKjbiHkanRJPvMJk6yISHG4a+8t00Y7lIBFCs+5dpyFdVYP6wHyLbGl8eHReVvEwDTILDedxRzHP4KjDMKjm+IZPD1QyrChat6sA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=uVUE3b8T3C9dI4wBrIdlS27d3T24l+mUKkcK3k1PbFBIAGiX9pxKED+DFnBonh1Xhd/DRc+uLQAEvetUH2bZiayzeFzIbg9A7LsknBhWmDQiqJl/PBpaTp8D68bPX7oLG3FyyQgPAm0zc8NC+54e3nZXJQWYohPUGaWqhTFzwEw= Received: by 10.67.100.10 with SMTP id c10mr1979222ugm.1175259920754; Fri, 30 Mar 2007 06:05:20 -0700 (PDT) Received: from ?192.168.1.34? ( [88.7.143.102]) by mx.google.com with ESMTP id x37sm2472391ugc.2007.03.30.06.05.18; Fri, 30 Mar 2007 06:05:19 -0700 (PDT) In-Reply-To: References: <9204E98C-8BD1-4B8C-BB72-26D02870AAB0@gmail.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <9DCD82A2-EF2F-4FD9-B4AC-C2F692FEC357@gmail.com> Cc: "Caml List" Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: [Caml-list] ocamlbuild support for Menhir Date: Fri, 30 Mar 2007 14:05:18 +0100 To: "Nicolas Pouillard" X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 460D0B10.002 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 460D0B10.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; byte:01 ocamlyacc:01 parser:01 parser:01 ocamlyacc:01 exited:01 compilation:01 dependencies:01 2007,:98 00.:98 wrote:01 caml-list:01 mly:02 mly:02 cached:02 Nicolas, On Mar 30, 2007, at 1:55 PM, Nicolas Pouillard wrote: > Yes -use-menhir The guide says I can put "true: use_menhir" in my _tags file. I tried that and this is what I get: ocamlbuild test.byte -- + ocamlyacc --raw-depend --ocamldep 'ocamldep.opt -modules' easy_parser.mly > easy_parser.mly.depends usage: ocamlyacc [-v] [-q] [-b file_prefix] filename Command exited with code 1. Compilation unsuccessful after building 7 targets (0 cached) in 00:00:00. Apparently, ocamlbuild still tries to use ocamlyacc to process dependencies. menhir is correctly used with -use-menhir. I would prefer the _tags option since there's gonna be no way back to ocamlyacc for me once I start using menhir's error reporting. Thanks, Joel -- http://wagerlabs.com/