From fe290f3e4bb06577a2cc69e6354ff319bb8842b3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 15 Sep 2021 19:25:14 +0200
Subject: [PATCH] [Makefile] Do not warn about missing .mli files on test
files.
---
Makefile | 2 +-
share/Makefile.plugin.template | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 92ef5cef19d..2a2deee009c 100644
--- a/Makefile
+++ b/Makefile
@@ -1426,7 +1426,7 @@ else
$(sort $(shell find $(TEST_DIRS_AS_PLUGIN:%=tests/%) -not -path '*/\.*' -name '*.ml'))
endif
$(foreach file,$(LONELY_TESTS_ML_FILES),\
- $(eval $(file:%.ml=%.cmo): BFLAGS+=-I $(dir $(file))))
+ $(eval $(file:%.ml=%.cmo): BFLAGS+=-w -70 -I $(dir $(file))))
$(foreach file,$(LONELY_TESTS_ML_FILES),\
$(eval $(file:%.ml=%.cmx): OFLAGS+=-I $(dir $(file))))
$(foreach file,$(LONELY_TESTS_ML_FILES),\
diff --git a/share/Makefile.plugin.template b/share/Makefile.plugin.template
index 9e6c6d6848b..ca774230631 100644
--- a/share/Makefile.plugin.template
+++ b/share/Makefile.plugin.template
@@ -444,7 +444,7 @@ $(NAME_OFLAGS):=$(OFLAGS) $(INCLUDE_FLAGS) $(PLUGIN_OFLAGS)
# DO NOT include the plugin's own directory as search path for compiling
# ml test scripts: they will be loaded in a separate phase, and will only see
# the plugin through its static API
-$(NAME_TEST_BFLAGS):= $(BFLAGS) $(INCLUDE_EXT_FLAGS) $(PLUGIN_BFLAGS)
+$(NAME_TEST_BFLAGS):= $(BFLAGS) -w -70 $(INCLUDE_EXT_FLAGS) $(PLUGIN_BFLAGS)
$(NAME_TEST_OFLAGS):= $(OFLAGS) $(INCLUDE_EXT_FLAGS) $(PLUGIN_OFLAGS)
$(TARGET_BFLAGS):= $(PLUGIN_LINK_BFLAGS)
--
GitLab