From aa9548d77fb7af03b3d16de7e6e1cbefbd382120 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 2 Dec 2020 16:31:32 +0100
Subject: [PATCH] [MdR] install eva_info modules

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

diff --git a/src/plugins/markdown-report/Makefile.in b/src/plugins/markdown-report/Makefile.in
index b2cfc69cf40..08888a351e3 100644
--- a/src/plugins/markdown-report/Makefile.in
+++ b/src/plugins/markdown-report/Makefile.in
@@ -49,6 +49,9 @@ 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
+install::
+	$(MKDIR) $(PLUGIN_INSTALL_DIR)/top
+	$(CP) $(PLUGIN_LIB_DIR)/top/eva_info.cm* $(PLUGIN_INSTALL_DIR)/top
 
 $(PLUGIN_LIB_DIR)/top/eva_info.cm%: $(Markdown_report_DIR)/eva_info.cm%
 	$(MKDIR) $(dir $@)
-- 
GitLab