From 4d0d02b247579df8b1965c54672386fc259ac53f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= <Sebastien.Hinderer@inria.fr>
Date: Fri, 18 Mar 2022 11:05:17 +0100
Subject: Build system: also factorize the inclusion of directories when
 calling ocamldep

---
 Makefile.common | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile.common')

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
 
-- 
cgit v1.2.1