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 655B6BC6C for ; Wed, 2 May 2007 10:51:34 +0200 (CEST) Received: from ik-out-1112.google.com (ik-out-1112.google.com [66.249.90.181]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l428pX8S016276 for ; Wed, 2 May 2007 10:51:34 +0200 Received: by ik-out-1112.google.com with SMTP id c29so58211ika for ; Wed, 02 May 2007 01:51:33 -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=KPLhBJe40Hscmm03Au+MV/lRefIqXDYmf9LoEQ/FpLNDy1KH5GeuUdlogIgmXVb2pxYBP4unhDUF+KirnJL7jklFXxWWyWI9x9F/zbACYQ6IToW6VayTURfo0yHb9Z6qbX88BHqLnHrPHkSgaJTFaDcotmfvHRlAqy7wSMcK4ic= 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=rrZPriUN7VPcKHGEE0fPS7klevg01P7+4ts0/pfadWqYQbqdpkqkkgnUfWV6k+b/N79raAhWL9pPVVGprWnZdaZffiJk1pL9xjDfSy92Me/+ncQ50GJSvL/k+SoKmpeYRvOYcqw9WfWolqlwqyAqWLCSL+RKAU66dC8zeYoY2gQ= Received: by 10.82.138.6 with SMTP id l6mr917949bud.1178095893622; Wed, 02 May 2007 01:51:33 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.237.136]) by mx.google.com with ESMTP id b36sm88138ika.2007.05.02.01.51.21; Wed, 02 May 2007 01:51:28 -0700 (PDT) In-Reply-To: References: <301C13B2-671A-40CE-AB6C-E92E0ED454E6@gmail.com> <78040751-B95B-4620-A995-A4AB74F5E997@gmail.com> <2A1A8C74-50D5-4F0B-815B-B56CA506578E@gmail.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <264A27CD-4310-4142-9BCB-2BF3DF5478C3@gmail.com> Cc: "Caml List" Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: [Caml-list] Re: ocamlbuild, menhir and keeping tokens in a separate file Date: Wed, 2 May 2007 09:51:16 +0100 To: Nicolas Pouillard X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46385115.003 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 46385115.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; tokens:01 dependencies:01 ocaml:01 parser:01 ocamldep:01 ocaml:01 ocamldep:01 tokens:01 usr:01 usr:01 parser:01 28,:98 2007,:98 wrote:01 caml-list:01 I need the same options to Menhir when calculating dependencies so I thought I would replace "ocaml"; "parser"; "menhir" with "menhir_ocamldep". This works, for example: flag ["ocaml"; "menhir_ocamldep" ] (S[A"--external-tokens"; A"EasyToken";]); Still, _tags: "EasyParser.mly": use_tokens myocamlbuild.ml: dep ["ocaml"; "menhir_ocamldep"; "use_tokens"] ["EasyToken.mly"]; + /usr/local/bin/menhir --external-tokens EasyToken --raw-depend -- ocamldep '/usr/local/bin/ocamldep.opt -modules' EasyParser.mly > EasyParser.mly.depends Doesn't seem to work, I don't see EasyToken.mly included on the command line. I was expecting to see "EasyParser.mly EasyToken.mly" On Apr 28, 2007, at 4:12 PM, Nicolas Pouillard wrote: > Can you try these one > > dep ["ocaml"; "parser"; "menhir"] ["easy_tokens.mly"]; dep ["ocaml"; "menhir_ocamldep"] ["EasyToken.mly"]; + /usr/local/bin/menhir --external-tokens EasyToken --raw-depend -- ocamldep '/usr/local/bin/ocamldep.opt -modules' EasyParser.mly > EasyParser.mly.depends Not working. > dep ["ocaml"; "parser"; "menhir"; "file:easy_parser.mly"] > ["easy_tokens.mly"]; dep ["ocaml"; "menhir_ocamldep"; "file:EasyParser.mly"] ["EasyToken.mly"]; + /usr/local/bin/menhir --external-tokens EasyToken --raw-depend -- ocamldep '/usr/local/bin/ocamldep.opt -modules' EasyParser.mly > EasyParser.mly.depends Doesn't work either. -- http://wagerlabs.com/