diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-14 20:43:59 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-22 18:12:02 +0100 |
| commit | 3a96f253cf76691ee8aa53090e4d7e710c4aeb0a (patch) | |
| tree | 875aff177c897ae6a75c3588c050e353998cbb34 /ocamldoc/Makefile | |
| parent | 1028c6932706880eaf1167710abeac6598d4d54d (diff) | |
| download | ocaml-3a96f253cf76691ee8aa53090e4d7e710c4aeb0a.tar.gz | |
Build system: normalize the invocations of ocamldep
Diffstat (limited to 'ocamldoc/Makefile')
| -rw-r--r-- | ocamldoc/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 968449121b..6ffd960463 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -23,8 +23,9 @@ OCAMLYACCFLAGS = --strict -v STDLIBFLAGS = -nostdlib -I $(ROOTDIR)/stdlib OCAMLC = $(BEST_OCAMLC) $(STDLIBFLAGS) OCAMLOPT = $(BEST_OCAMLOPT) $(STDLIBFLAGS) -OCAMLDEP = $(BEST_OCAMLDEP) -DEPFLAGS = -slash +OCAMLDEP ?= $(BEST_OCAMLDEP) +OC_OCAMLDEPFLAGS = -slash +OCAMLDEP_CMD = $(OCAMLDEP) $(OC_OCAMLDEPFLAGS) $(OCAMLDEPFLAGS) $(DEPINCLUDES) # For installation ############## @@ -352,7 +353,7 @@ distclean: clean .PHONY: depend depend: $(DEPEND_PREREQS) - $(OCAMLDEP) $(DEPFLAGS) $(DEPINCLUDES) *.mll *.mly *.ml *.mli > .depend - $(OCAMLDEP) $(DEPFLAGS) $(DEPINCLUDES) -shared generators/*.ml >> .depend + $(OCAMLDEP_CMD) *.mll *.mly *.ml *.mli > .depend + $(OCAMLDEP_CMD) -shared generators/*.ml >> .depend include .depend |