diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-02-28 09:37:43 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-02-28 09:37:43 +0100 |
commit | 01062b44842657fce0a8bb6542aafb0c1bf0fba4 (patch) | |
tree | b56d9607799a4f9720cd27b5de9854b6583a0c5b /Makefile.extr | |
parent | bfad5d6af72693654162b41eb3a0dcd2cf0368c3 (diff) | |
download | compcert-01062b44842657fce0a8bb6542aafb0c1bf0fba4.tar.gz compcert-01062b44842657fce0a8bb6542aafb0c1bf0fba4.zip |
Removed leftover references to recdepend.
Diffstat (limited to 'Makefile.extr')
-rw-r--r-- | Makefile.extr | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/Makefile.extr b/Makefile.extr index 67b2a604..eb578fa9 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -164,13 +164,12 @@ cleansource: # Generation of .depend.extr -depend: $(GENERATED) tools/recdepend +depend: $(GENERATED) @echo "Analyzing OCaml dependencies" - $(OCAMLDEP) $(foreach d,$(DIRS),$(wildcard $(d)/*.mli $(d)/*.ml)) >.depend.extr - $(OCAMLDEP) $(GENERATED) >> .depend.extr - ifneq ($(strip $(DIRS_P4)),) - @$(RECDEPEND) -use-ocamlfind $(BITSTRING) $(INCLUDES) $(DIRS_P4) >> .depend.extr - $(OCAMLDEP_P4) $(foreach d,$(DIRS_P4),$(wildcard $(d)/*.mli $(d)/*.ml)) >>.depend.extr + @$(OCAMLDEP) $(foreach d,$(DIRS),$(wildcard $(d)/*.mli $(d)/*.ml)) >.depend.extr + @$(OCAMLDEP) $(GENERATED) >> .depend.extr +ifneq ($(strip $(DIRS_P4)),) + @$(OCAMLDEP_P4) $(foreach d,$(DIRS_P4),$(wildcard $(d)/*.mli $(d)/*.ml)) >>.depend.extr endif |