diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-18 11:05:17 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-03-22 18:12:02 +0100 |
commit | 4d0d02b247579df8b1965c54672386fc259ac53f (patch) | |
tree | 51bd230864ddb50f6fcb44dae3c186f2f9ec513f /Makefile.common | |
parent | df4759a2205e85302fed1006e7509e73365cd4a1 (diff) | |
download | ocaml-4d0d02b247579df8b1965c54672386fc259ac53f.tar.gz |
Build system: also factorize the inclusion of directories when calling ocamldep
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index e02169167e..1e1d651893 100644 --- a/Makefile.common +++ b/Makefile.common @@ -150,7 +150,9 @@ endef # PROGRAM_SYNONYM OCAMLDEP ?= $(BEST_OCAMLDEP) OC_OCAMLDEPFLAGS = -slash -OCAMLDEP_CMD = $(OCAMLDEP) $(OC_OCAMLDEPFLAGS) $(OCAMLDEPFLAGS) +OC_OCAMLDEPDIRS = +OCAMLDEP_CMD = $(OCAMLDEP) $(OC_OCAMLDEPFLAGS) \ + $(addprefix -I ,$(OC_OCAMLDEPDIRS)) $(OCAMLDEPFLAGS) # Lexer generation |