diff --git a/src/kernel_services/cmdline_parameters/parameter_sig.ml b/src/kernel_services/cmdline_parameters/parameter_sig.ml index 833a3e4e2c9243242cafca4e8242133c9f945a63..24922d00a1d6ea122c16af901c1329c7f6b72f9a 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 deba5d3f6123601766a9dc6739cfc42cccaf63f6..e48a273e5d63a584ac42cf17da49c6566aea38e0 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 f46ef27ed1f508d8134ad0278447a7c7c07523f9..9cdf0d2f05d4aff81e8a7e9b3181b2eddd47d764 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 *)