[MdR] Make eva_info a proper Findlib subpackage of frama-c-markdown_report

src/plugins/markdown-report/META.in

@@ -5,3 +5,8 @@ archive(byte) = "top/Markdown_report.cmo"
 archive(native) = "top/Markdown_report.cmx"
 plugin(native) = "top/Markdown_report.cmxs"
 plugin(byte) = "top/Markdown_report.cmo"
+package "eva_info" (
+  requires = "frama-c-markdown_report frama-c-eva"
+  plugin(native) = "top/eva_info.cmxs"
+  plugin(byte) = "top/eva_info.cmo"
+)

src/plugins/markdown-report/mdr_register.ml

@@ -23,19 +23,8 @@
 let load_eva_info () =
   if not !Md_gen.Eva_info.loaded && Dynamic.is_loaded "frama-c-eva"
   then begin
-    let eva_info = "top/eva_info.cmo" in
-    try
-      List.iter
-        (fun dir ->
-           let path = dir ^ "/" ^ eva_info in
-           if Sys.file_exists path then begin
-             Dynamic.load_module (dir ^ "/" ^ eva_info);
-             (* do not try to load it twice. *)
-             raise Exit
-           end)
-        Fc_config.plugin_dir;
-      Mdr_params.warning "Impossible to load Eva-specific operations"
-    with Exit -> ()
+    let eva_info = "frama-c-markdown_report.eva_info" in
+    Dynamic.load_packages [eva_info];
   end
 
 (*  end *)