From 2f68bd3af809891682a36fb29e6a6043464cf746 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 30 Oct 2019 16:49:40 +0100
Subject: [PATCH] [mdr] don't try to install a plugin that is not compiled +
fix plugin prefix
---
src/plugins/markdown-report/Makefile.in | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/plugins/markdown-report/Makefile.in b/src/plugins/markdown-report/Makefile.in
index a12c2471765..9ef075fbc3a 100644
--- a/src/plugins/markdown-report/Makefile.in
+++ b/src/plugins/markdown-report/Makefile.in
@@ -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
--
GitLab