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