diff options
| author | filliatr | 2003-09-05 12:40:42 +0000 |
|---|---|---|
| committer | filliatr | 2003-09-05 12:40:42 +0000 |
| commit | 9dd608e78fb7d392ea88b47f396f5077021337d5 (patch) | |
| tree | bac757fc11bcbcb3af1cfdef4aba25171270826f /Makefile | |
| parent | a677b6c61c7985768febfa4339a720b48e8f51a6 (diff) | |
coqwc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4302 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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 |