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