diff --git a/src/plugins/markdown-report/Makefile b/src/plugins/markdown-report/Makefile index 3c39dd629b47c4f3879cbf1f8e6810bfdccf94bb..da5163246719d6a4011676b0660c2d7ebffb2c3d 100644 --- a/src/plugins/markdown-report/Makefile +++ b/src/plugins/markdown-report/Makefile @@ -5,7 +5,7 @@ endif Report_markdown_VERSION:=0.1~beta PLUGIN_NAME:=Report_markdown -PLUGIN_GENERATED:=mdr_version.ml +PLUGIN_GENERATED:=$(PLUGIN_DIR)/mdr_version.ml PLUGIN_CMO:=\ markdown sarif mdr_version mdr_params parse_remarks \ eva_coverage md_gen sarif_gen mdr_register @@ -28,13 +28,13 @@ $(Report_markdown_DIR)/Report_markdown.mli: \ $(Report_markdown_DIR)/md_gen.mli \ $(Report_markdown_DIR)/Makefile echo "module Mdr_params: sig" > $@ - cat mdr_params.mli >> $@ + cat $(Report_markdown_DIR)/mdr_params.mli >> $@ echo "end" >> $@ echo "module Markdown: sig" >> $@ - cat markdown.mli >> $@ + cat $(Report_markdown_DIR)/markdown.mli >> $@ echo "end" >> $@ echo "module Md_gen: sig" >> $@ - cat md_gen.mli >> $@ + cat $(Report_markdown_DIR)/md_gen.mli >> $@ echo "end" >> $@ install::