diff options
Diffstat (limited to 'Makefile.extr')
-rw-r--r-- | Makefile.extr | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.extr b/Makefile.extr index 3299cea9..372f5e32 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -166,11 +166,13 @@ cleansource: tools/recdepend: tools/recdepend.ml ocamlopt -o tools/recdepend unix.cmxa tools/recdepend.ml +RECDEPEND=tools/recdepend + depend: $(GENERATED) tools/recdepend @echo "Analyzing OCaml dependencies" - @tools/recdepend $(DIRS) -o .depend.extr + @$(RECDEPEND) $(DIRS) -o .depend.extr ifneq ($(strip $(DIRS_P4)),) - @tools/recdepend -use-ocamlfind $(BITSTRING) $(INCLUDES) $(DIRS_P4) >> .depend.extr + @$(RECDEPEND) -use-ocamlfind $(BITSTRING) $(INCLUDES) $(DIRS_P4) >> .depend.extr endif |