diff options
| author | Pierre Letouzey | 2016-06-01 11:35:53 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-01 11:42:22 +0200 |
| commit | 390bcdb00838e045b643912e32a9d159b40f3b70 (patch) | |
| tree | e322ac7313ab1b1b53ae6494c8677c3448ac6c22 | |
| parent | 88d5621e0d70482e5869e9b422ff30b14f58691a (diff) | |
Makefile.build : update the otags rule
There were a forgotten CAMLP4DEPS macro.
We also avoid otags failure with camlp5 (in this case, it only
builds the tags of regular .ml files, not .ml4).
| -rw-r--r-- | Makefile.build | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 18b1e4fb46..c0b39dce9b 100644 --- a/Makefile.build +++ b/Makefile.build @@ -1160,9 +1160,13 @@ dev/%.mllib.d: $(D_DEPEND_BEFORE_SRC) dev/%.mllib $(D_DEPEND_AFTER_SRC) $(OCAMLL .PHONY: devel otags devel: $(DEBUGPRINTERS) +# NOTA : otags only accepts camlp4 as preprocessor, so the following rule +# won't build tags of .ml4 when compiling with camlp5 otags: - otags $(MLIFILES) $(MLSTATICFILES) \ - $(foreach i,$(ML4FILES),-pc -pa tools/compat5.cmo -pa op -pa g -pa m -pa rq $(patsubst %,-pa %,$(call CAMLP4DEPS,$i)) -impl $i) + otags $(MLIFILES) $(filter-out configure.ml, $(MLSTATICFILES)) \ + $(if $(filter camlp5,$(CAMLP4)), , \ + -pa op -pa g -pa m -pa rq $(addprefix -pa , $(CAMLP4DEPS)) \ + $(addprefix -impl , $(ML4FILES))) ########################################################################### |