diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-25 10:38:30 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-25 10:38:30 +0100 |
| commit | 6d53a8b7ffd06d9726103803eb69d94a333ae0a5 (patch) | |
| tree | c2a77448b451134c66cbde4667e4fc1db13229d5 /Makefile.extr | |
| parent | bd0591f676f585a38c32049f31f1f187d748d6a2 (diff) | |
| download | compcert-6d53a8b7ffd06d9726103803eb69d94a333ae0a5.tar.gz compcert-6d53a8b7ffd06d9726103803eb69d94a333ae0a5.zip | |
Updated the recdepend tool to avoid printing of ./ at the begining and printing duplicated -I flags.
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 |