From ed3098721681301b8deade2f2eed43b85f895f99 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Sat, 20 Jul 2024 10:33:43 +0200
Subject: [PATCH] [kernel] shorten Dune_site_dir to Site_dir
---
src/kernel_services/cmdline_parameters/parameter_sig.ml | 2 +-
src/kernel_services/plugin_entry_points/plugin.ml | 4 ++--
src/kernel_services/plugin_entry_points/plugin.mli | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/kernel_services/cmdline_parameters/parameter_sig.ml b/src/kernel_services/cmdline_parameters/parameter_sig.ml
index 833a3e4e2c..24922d00a1 100644
--- a/src/kernel_services/cmdline_parameters/parameter_sig.ml
+++ b/src/kernel_services/cmdline_parameters/parameter_sig.ml
@@ -331,7 +331,7 @@ end
@since Frama-C+dev
*)
-module type Dune_site_dir = sig
+module type Site_dir = sig
val set: Filepath.Normalized.t -> unit
(** Sets the <dune-site-dir> directory (without creating it). *)
diff --git a/src/kernel_services/plugin_entry_points/plugin.ml b/src/kernel_services/plugin_entry_points/plugin.ml
index deba5d3f61..e48a273e5d 100644
--- a/src/kernel_services/plugin_entry_points/plugin.ml
+++ b/src/kernel_services/plugin_entry_points/plugin.ml
@@ -42,7 +42,7 @@ module type S_no_log = sig
val add_group: ?memo:bool -> string -> Cmdline.Group.t
module Verbose: Parameter_sig.Int
module Debug: Parameter_sig.Int
- module Share: Parameter_sig.Dune_site_dir
+ module Share: Parameter_sig.Site_dir
module Session: Parameter_sig.User_dir
module Cache_dir () : Parameter_sig.User_dir
module Config_dir () : Parameter_sig.User_dir
@@ -291,7 +291,7 @@ struct
(** {3 Specific directories} *)
(* ************************************************************************ *)
- module Share : Parameter_sig.Dune_site_dir = struct
+ module Share : Parameter_sig.Site_dir = struct
let is_visible = !share_visible_ref
let is_kernel = is_kernel () (* the side effect must be applied right now *)
diff --git a/src/kernel_services/plugin_entry_points/plugin.mli b/src/kernel_services/plugin_entry_points/plugin.mli
index f46ef27ed1..9cdf0d2f05 100644
--- a/src/kernel_services/plugin_entry_points/plugin.mli
+++ b/src/kernel_services/plugin_entry_points/plugin.mli
@@ -47,7 +47,7 @@ module type S_no_log = sig
@since Oxygen-20120901
@before Frama-C+dev more modes were allowed
*)
- module Share: Parameter_sig.Dune_site_dir
+ module Share: Parameter_sig.Site_dir
(** Handle the specific `session' directory of the plug-in.
@since Neon-20140301 *)
--
GitLab