From 1b8989544dfb23aa0102a18092de745c0396cb01 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 2 Dec 2020 16:26:08 +0100
Subject: [PATCH] [MdR] do not compile eva_info if main MdR is not enabled

---
 src/plugins/markdown-report/Makefile.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plugins/markdown-report/Makefile.in b/src/plugins/markdown-report/Makefile.in
index ceb07c72905..b2cfc69cf40 100644
--- a/src/plugins/markdown-report/Makefile.in
+++ b/src/plugins/markdown-report/Makefile.in
@@ -45,6 +45,7 @@ PLUGIN_TESTS_DIRS:= md sarif
 
 include $(FRAMAC_SHARE)/Makefile.dynamic
 
+ifneq (@ENABLE_MDR@,no)
 ifneq ($(ENABLE_EVA), no)
 byte:: $(PLUGIN_LIB_DIR)/top/eva_info.cmo $(PLUGIN_LIB_DIR)/top/eva_info.cmi
 opt:: $(PLUGIN_LIB_DIR)/top/eva_info.cmxs $(PLUGIN_LIB_DIR)/top/eva_info.cmi
@@ -56,6 +57,7 @@ $(PLUGIN_LIB_DIR)/top/eva_info.cm%: $(Markdown_report_DIR)/eva_info.cm%
 $(Markdown_report_DIR)/eva_info.cmo: BFLAGS+=-I $(Markdown_report_DIR)
 $(Markdown_report_DIR)/eva_info.cmx: OFLAGS+=-I $(Markdown_report_DIR)
 
+endif
 endif
 
 $(Markdown_report_DIR)/Markdown_report.mli: \
-- 
GitLab