A version for MdR

src/plugins/markdown-report/.gitignore

+*.cm*
+META.*
+*.o
+top/
+*.check_mli_exists
+.Makefile.plugin.generated
+.depend
+.merlin
+*~
+/mdr_version.ml

src/plugins/markdown-report/Makefile

@@ -2,15 +2,26 @@ ifndef FRAMAC_SHARE
   FRAMAC_SHARE:=$(shell frama-c -print-share-path)
 endif
 
+Report_markdown_VERSION:=0.1~alpha
+
 PLUGIN_NAME:=Report_markdown
+PLUGIN_GENERATED:=mdr_version.ml
 PLUGIN_CMO:=\
-  markdown sarif mdr_params parse_remarks eva_coverage sarif_gen md_gen
+  markdown sarif mdr_version mdr_params parse_remarks \
+  eva_coverage sarif_gen md_gen
 PLUGIN_NO_TEST:=true
 PLUGIN_REQUIRES:=ppx_deriving ppx_deriving_yojson yojson
+PLUGIN_VERSION:=$(Report_markdown_VERSION)
 PLUGIN_DISTRIB_EXTERNAL:=share/acsl.xml
 
 include $(FRAMAC_SHARE)/Makefile.dynamic
 
+$(Report_markdown_DIR)/mdr_version.ml: $(Report_markdown_DIR)/Makefile
+	$(PRINT_MAKING) $@
+	$(RM) $@
+	$(ECHO) "let version = \"$(Report_markdown_VERSION)\"" > $@
+	$(CHMOD_RO) $@
+
 $(Report_markdown_DIR)/Report_markdown.mli: \
   $(Report_markdown_DIR)/mdr_params.mli \
   $(Report_markdown_DIR)/markdown.mli \

src/plugins/markdown-report/Report_markdown.mli

@@ -21,9 +21,6 @@ module Title: Parameter_sig.String
 
 (** Value of [-mdr-stubs]. *)
 module Stubs: Parameter_sig.String_list
-
-(** version of mdr plugin itself *)
-val version: string
 end
 module Markdown: sig
 type align = Left | Center | Right

src/plugins/markdown-report/mdr_params.ml

@@ -70,5 +70,3 @@ module Stubs = String_list(
     let arg_name = "f1,...,fn"
     let help = "list of C files containing stub functions"
   end)
-
-let version = "0.1~alpha"

src/plugins/markdown-report/mdr_params.mli

@@ -20,6 +20,3 @@ module Title: Parameter_sig.String
 
 (** Value of [-mdr-stubs]. *)
 module Stubs: Parameter_sig.String_list
-
-(** version of mdr plugin itself *)
-val version: string