From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 204A5BC29 for ; Fri, 11 Aug 2006 15:53:50 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k7BDrnsr024662 for ; Fri, 11 Aug 2006 15:53:49 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA10585 for ; Fri, 11 Aug 2006 15:53:49 +0200 (MET DST) Received: from pandora.cs.kun.nl (pandora.cs.kun.nl [131.174.33.4]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k7BDrkYk024641 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Fri, 11 Aug 2006 15:53:48 +0200 Received: from tandem.cs.ru.nl [131.174.33.50] (helo=tandem) by pandora.cs.kun.nl (8.13.7/5.9) with ESMTP id k7BDrB15005885; Fri, 11 Aug 2006 15:53:11 +0200 (MEST) Received: from tews by tandem with local (Exim 4.50) id 1GBXRn-0001jq-D5; Fri, 11 Aug 2006 15:53:11 +0200 Sender: H.Tews@cs.ru.nl To: Sam Steingold Cc: caml-list@inria.fr Subject: Re: [Caml-list] otags and OMakefile References: From: Hendrik Tews Date: 11 Aug 2006 15:53:11 +0200 In-Reply-To: Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Scanned-By: MIMEDefang 2.56 on 131.174.33.4 X-Miltered: at concorde with ID 44DC8BED.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44DC8BEA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; otags:01 hendrik:01 tews:01 tews:01 otags:01 dirs:01 unix:01 bug:01 cmo:01 camlp:01 camlp:01 hendrik:01 invoke:01 writes:01 caml-list:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Sam Steingold writes: what is the correct entry for TAGS in OMakefile? I have this in the top-level OMakefile: ------------------------------------------------------------------ TAGS: otags -r $(SRC_DIRS) ------------------------------------------------------------------ This only works in simple cases (and, apparently, your case is not simple). 1. somehow otags tries to read non-ml files (despite "otags -h" It does a Unix.stat on the files before filtering, which only works for files smaller 1GB. Granted, this is a bug. 2. otags does not respect the pre-processors used for some files, resulting in many errors: You have to specify the preprocessors on the otags command line, like otags -pa pr_r.cmo revised.ml You might have to add -libdir dir_of_camlp4_module. the preprocessing is specified in OMakeroot: I have no idea about OMakefile, but I doubt it can work as you expected. What you have to (or OMakefile would have) is the following: - collect the source files in equivalence sets according to the needed preprocessors - invoke otags on each such set separately with the right set of -pa options - concat the results (With -v you can see the camlp4 calls that do the real job. ) Bye, Hendrik Tews