From 7775ca6e9525e22dcf77232f2af5cbd7d08f96ef Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 2 Dec 2020 16:03:00 +0100
Subject: [PATCH] [MdR] only load eva_info if Eva has been loaded.
---
src/plugins/markdown-report/mdr_register.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/markdown-report/mdr_register.ml b/src/plugins/markdown-report/mdr_register.ml
index 1a95bcc1f3f..c426fe4121e 100644
--- a/src/plugins/markdown-report/mdr_register.ml
+++ b/src/plugins/markdown-report/mdr_register.ml
@@ -21,7 +21,8 @@
(**************************************************************************)
let load_eva_info () =
- if not !Md_gen.Eva_info.loaded then begin
+ 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
--
GitLab