diff options
| author | notin | 2008-01-11 15:49:30 +0000 |
|---|---|---|
| committer | notin | 2008-01-11 15:49:30 +0000 |
| commit | d581efa789d7239b61d7c71f58fc980c350b2de1 (patch) | |
| tree | f01aa88564767e6c5b1aaf14bcff7c7e689a4cba /Makefile | |
| parent | 3ab7a14bb005dae4141b434c1dd8ac73b4af2aa1 (diff) | |
Amélioration de la génération des graphes de dépendances
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10438 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -107,7 +107,7 @@ else stage1 $(STAGE1_TARGETS): always $(call stage-template,1) -CAML_OBJECT_PATTERNS:=%.cmo %.cmx %.cmi %.cma %.cmxa +CAML_OBJECT_PATTERNS:=%.cmo %.cmx %.cmi %.cma %.cmxa %.dep.ps %.dot ifdef CM_STAGE1 $(CAML_OBJECT_PATTERNS): always $(call stage-template,1) @@ -134,9 +134,9 @@ endif #GOTO_STAGE # Cleaning ########################################################################### -.PHONY: clean objclean cruftclean indepclean archclean ml4clean clean-ide ml4depclean depclean distclean cleanconfig cleantheories docclean +.PHONY: clean objclean cruftclean indepclean archclean ml4clean clean-ide ml4depclean depclean distclean cleanconfig cleantheories docclean devdocclean -clean: objclean cruftclean depclean docclean +clean: objclean cruftclean depclean docclean devdocclean objclean: archclean indepclean @@ -194,6 +194,9 @@ cleantheories: rm -f states/*.coq find theories -name '*.vo' -or -name '*.glob' | xargs rm -f +devdocclean: + find . -name '*.dep.ps' -o -name '*.dot' -exec rm -f {} \; + ########################################################################### # Emacs tags ########################################################################### |