From 9dd608e78fb7d392ea88b47f396f5077021337d5 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 5 Sep 2003 12:40:42 +0000
Subject: coqwc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4302 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 13c51b2a1d..099df2fe63 100644
--- a/Makefile
+++ b/Makefile
@@ -789,6 +789,7 @@ COQDEP=bin/coqdep$(EXE)
 COQMAKEFILE=bin/coq_makefile$(EXE)
 GALLINA=bin/gallina$(EXE)
 COQTEX=bin/coq-tex$(EXE)
+COQWC=bin/coqwc$(EXE)
 COQVO2XML=bin/coq_vo2xml$(EXE)
 RUNCOQVO2XML=coq_vo2xml$(EXE)   # Uses the one in PATH and not the one in bin
 
@@ -814,6 +815,11 @@ $(COQMAKEFILE): tools/coq_makefile.cmo
 $(COQTEX): tools/coq-tex.cmo
 	$(OCAMLC) $(BYTEFLAGS) -custom -o $@ str.cma tools/coq-tex.cmo
 
+beforedepend:: tools/coqwc.ml
+
+$(COQWC): tools/coqwc.cmo
+	$(OCAMLC) $(BYTEFLAGS) -custom -o $@ tools/coqwc.cmo
+
 COQVO2XMLCMO=$(CONFIG) toplevel/usage.cmo tools/coq_vo2xml.cmo
 
 $(COQVO2XML): $(COQVO2XMLCMO)
@@ -821,9 +827,10 @@ $(COQVO2XML): $(COQVO2XMLCMO)
 
 clean::
 	rm -f tools/coqdep_lexer.ml tools/gallina_lexer.ml
+	rm -f tools/coqwc.ml
 
 archclean::
-	rm -f $(COQDEP) $(GALLINA) $(COQTEX) $(COQMAKEFILE) $(COQVO2XML)
+	rm -f $(COQDEP) $(GALLINA) $(COQTEX) $(COQWC) $(COQMAKEFILE) $(COQVO2XML)
 
 ###########################################################################
 # minicoq
-- 
cgit v1.2.3