Skip to content
Snippets Groups Projects
Commit 2f68bd3a authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[mdr] don't try to install a plugin that is not compiled + fix plugin prefix

parent 1f2423a6
No related branches found
No related tags found
No related merge requests found
......@@ -25,7 +25,10 @@ $(Markdown_report_DIR)/Markdown_report.mli: \
cat $(Markdown_report_DIR)/md_gen.mli >> $@
echo "end" >> $@
ifeq ("@ENABLE_MDR@","yes")
install::
$(PRINT_CP) $(FRAMAC_DATADIR)/Markdown_report
$(MKDIR) $(FRAMAC_DATADIR)/Markdown_report
$(CP) share/acsl.xml $(FRAMAC_DATADIR)/Markdown_report
$(CP) $(Markdown_report_DIR)/share/acsl.xml \
$(FRAMAC_DATADIR)/Markdown_report
endif
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