diff options
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 ########################################################################### |