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.common | |
| 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.common')
| -rw-r--r-- | Makefile.common | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index 919e9243e8..69a2931ed9 100644 --- a/Makefile.common +++ b/Makefile.common @@ -793,6 +793,24 @@ PCOQMANPAGES:=man/coq-interface.1 man/parser.1 RECTYPESML:=kernel/term.ml library/nametab.ml proofs/tacexpr.ml \ parsing/pptactic.ml + +######################################################### +# .mli files by directory (used for dependencies graphs # +######################################################### + +# We use wildcard to get rid of .cmo that do not have a .mli +KERNELMLI:=$(wildcard $(KERNEL:.cmo=.mli)) +INTERPMLI:=$(wildcard $(INTERP:.cmo=.mli)) +PRETYPINGMLI:=$(wildcard $(PRETYPING:.cmo=.mli)) +TOPLEVELMLI:=$(wildcard $(TOPLEVEL:.cmo=.mli)) +PROOFSMLI:=$(wildcard $(PROOFS:.cmo=.mli)) +LIBRARYMLI:=$(wildcard $(LIBRARY:.cmo=.mli)) +PARSINGMLI:=$(wildcard $(PARSING:.cmo=.mli) $(HIGHPARSING:.cmo=.mli)) +TACTICSMLI:=$(wildcard $(TACTICS:.cmo=.mli) $(HIGHTACTICS:.cmo=.mli)) +COQMLI:=$(KERNELMLI) $(INTERPMLI) $(PRETYPINGMLI) $(TOPLEVELMLI) $(PROOFSMLI) \ + $(LIBRARYMLI) $(PARSINGMLI) $(TACTICSMLI) + + ########################################################################### # Miscellaneous ########################################################################### |