From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id FAA24034; Tue, 1 May 2001 05:39:52 +0200 (MET DST) 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 FAA24746 for ; Tue, 1 May 2001 05:39:51 +0200 (MET DST) Received: from bastion.artisan.com (bastion.artisan.com [209.144.161.130]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f413dn525179 for ; Tue, 1 May 2001 05:39:50 +0200 (MET DST) Received: from ypmaster.artisan.com (ypmaster [172.16.2.1]) by bastion.artisan.com (8.9.2/8.9.2) with ESMTP id UAA10672; Mon, 30 Apr 2001 20:39:41 -0700 (PDT) Received: from ish.artisan.com (ish [172.16.10.79]) by ypmaster.artisan.com (8.9.2/8.9.2) with ESMTP id UAA28957; Mon, 30 Apr 2001 20:39:40 -0700 (PDT) Received: (from johnm@localhost) by ish.artisan.com (8.9.2/8.9.2) id UAA08935; Mon, 30 Apr 2001 20:39:40 -0700 (PDT) X-Authentication-Warning: ish.artisan.com: johnm set sender to johnm@artisan.com using -f From: John Gerard Malecki MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15086.12284.93943.757718@ish.artisan.com> Date: Mon, 30 Apr 2001 20:39:40 -0700 To: Jacques Garrigue Cc: patrick@watson.org, caml-list@inria.fr Subject: Re: [Caml-list] ocamlmktop and includes In-Reply-To: <20010501100537N.garrigue@kurims.kyoto-u.ac.jp> References: <20010501100537N.garrigue@kurims.kyoto-u.ac.jp> X-Mailer: VM 6.92 under Emacs 20.4.1 X-Organization: Artisan Components, Inc. Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue wrote (2001-05-01T10:05:37+0900): > To get all crcs in one directory: > extract_crc `\ls *.cmi | sed "s/.cmi//" | capitalize` Capitalize not posix and hence available on some but not all machines. The ocaml team recognized this and allows uncased module names as in > extract_crc `\ls *.cmi | sed "s/.cmi//"` Within a makefile the following works for me: extract_crc := $(shell ocamlc -where)/extract_crc crcs.ml: $(INTF) $(extract_crc) $< > \#$@ mv \#$@ $@ where INTF may be something like INTF := $(patsubst %.mli,%.cmi,$(wildcard *.mli)) -cheers ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr