diff --git a/src/plugins/markdown-report/Makefile.in b/src/plugins/markdown-report/Makefile.in index ceb07c7290510ee3c52d804dc3843a44fdf16dbc..b2cfc69cf4008fecb43d9b96e86deebab08f5eae 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: \