From f82dd3e1f03f50dc9aa0b503eda3c59dabe3c683 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 11 Oct 2022 12:09:40 +0200
Subject: [PATCH] [kernel] fixes the error message when loading an ML source
file
---
src/kernel_services/plugin_entry_points/dynamic.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/plugin_entry_points/dynamic.ml b/src/kernel_services/plugin_entry_points/dynamic.ml
index faf704b58d7..a57e0d3ed55 100644
--- a/src/kernel_services/plugin_entry_points/dynamic.ml
+++ b/src/kernel_services/plugin_entry_points/dynamic.ml
@@ -133,7 +133,7 @@ let load_module m =
let base,ext = split_ext m in
match ext with
| ".ml" ->
- Klog.error "Script loading as been deprecated in favor of the command frama-c-init-plugin"
+ Klog.error "Script loading as been deprecated in favor of the load of script libraries (see shell script `frama-c-build-scripts.sh` to build such a script library that can be loaded via the Frama-C option `-load-library`)."
| _ ->
begin
(* load object or compile script or find package *)
--
GitLab