Skip to content
Snippets Groups Projects
Commit aa9548d7 authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

[MdR] install eva_info modules

parent 1b898954
No related branches found
No related tags found
No related merge requests found
...@@ -49,6 +49,9 @@ ifneq (@ENABLE_MDR@,no) ...@@ -49,6 +49,9 @@ ifneq (@ENABLE_MDR@,no)
ifneq ($(ENABLE_EVA), no) ifneq ($(ENABLE_EVA), no)
byte:: $(PLUGIN_LIB_DIR)/top/eva_info.cmo $(PLUGIN_LIB_DIR)/top/eva_info.cmi 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 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% $(PLUGIN_LIB_DIR)/top/eva_info.cm%: $(Markdown_report_DIR)/eva_info.cm%
$(MKDIR) $(dir $@) $(MKDIR) $(dir $@)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment